Currently, if you run cargo mir-json on an unbuilt repository, you'll get a .mir file out, as well as target binaries. If you run it on an already-built repository (even if built with cargo build instead of cargo mir-json) then the JSON translation doesn't happen. If we consistently pass the -Zno-trans flag throughout, we'll avoid the time taken to build native code as well as the problem of re-running the translation.
Currently, if you run
cargo mir-jsonon an unbuilt repository, you'll get a.mirfile out, as well as target binaries. If you run it on an already-built repository (even if built withcargo buildinstead ofcargo mir-json) then the JSON translation doesn't happen. If we consistently pass the-Zno-transflag throughout, we'll avoid the time taken to build native code as well as the problem of re-running the translation.