I'd like to add the miri component to a linked rustup toolchain (including
cargo-miri). How can I do that?
./x.py build --stage=1 src/tools/miri, but running
cargo +stage1 miri says that
cargo-miri isn't installed.
hmm... I never tried that. Likely
cargo +stage1 clippy won't work either
Tool binaries are put into a different directory