mir-json
provides rustc
and cargo
integration for interfacing with
crux-mir.
-
If you are starting from scratch, you need to first install the rust compiler via the
rustup
tool. (Instructions are from the rust book).$ curl https://sh.rustup.rs -sSf | sh
To finish the compiler installation you need to add the tools to your path:
$ source $HOME/.cargo/env
-
Next, install a version of
rustc
that works with mir-json.$ rustup toolchain install nightly-2023-01-23 --force $ rustup component add --toolchain nightly-2023-01-23 rustc-dev $ rustup default nightly-2023-01-23
-
Now compile
mir-json
and install its executables to your path.$ cargo install --locked
-
Check that
mir-json
was installed correctly$ mir-json --version
This should print a version string.
See the crux-mir README for usage instructions.