Stream: t-compiler/help

Topic: Installing local miri

Jonas Schievink (Jun 03 2020 at 17:46, on Zulip):

I'd like to add the miri component to a linked rustup toolchain (including cargo-miri). How can I do that?

I've tried ./ build --stage=1 src/tools/miri, but running cargo +stage1 miri says that cargo-miri isn't installed.

oli (Jun 04 2020 at 07:19, on Zulip):

hmm... I never tried that. Likely cargo +stage1 clippy won't work either

oli (Jun 04 2020 at 07:19, on Zulip):

Tool binaries are put into a different directory

Last update: Jan 22 2021 at 13:15UTC