user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Auto merge of #2635 - RalfJung:rustup-managed-miri, r=RalfJung

Browse source 
explain how to go back to rustup-managed Miri

Fixes https://github.com/rust-lang/miri/issues/2633
This commit is contained in:
bors 2022-10-29 10:37:13 +00:00
commit 18a23a5d03
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/CONTRIBUTING.md
View file

@ -138,6 +138,9 @@ There's a test for the cargo wrapper in the `test-cargo-miri` directory; run
`./run-test.py` in there to execute it. Like `./miri test`, this respects the
`MIRI_TEST_TARGET` environment variable to execute the test for another target.
Note that installing Miri like this will "take away" Miri management from `rustup`.
If you want to later go back to a rustup-installed Miri, run `rustup update`.
### Using a modified standard library
Miri re-builds the standard library into a custom sysroot, so it is fairly easy