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

adjust README

Browse source
This commit is contained in:
Ralf Jung 2019-04-04 10:21:32 +01:00
parent bebb5bfa38
commit 31bc4355aa
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
README.md
View file

@ -120,13 +120,18 @@ other projects:
```sh
rustup component remove miri # avoid having Miri installed twice
cargo +nightly install --path "$DIR" --force # or the nightly in `rust-version`
cargo +nightly install --path "$DIR" --force
cargo +nightly miri setup
```
(We are giving `+nightly` explicitly here all the time because it is important
that all of these commands get executed with the same toolchain.)
In case this fails, your nightly might be incompatible with Miri master. The
`rust-version` file contains the commit hash of rustc that Miri is currently
tested against; you can use that to find a nightly that works or you might have
to wait for the next nightly to get released.
If you want to use a different libstd (not the one that comes with the
nightly), you can do that by running