Skip to content

Commit cdf7a05

Browse files
committed
latest rust nightly contains all the bits needed to re-compile libstd
1 parent dad9547 commit cdf7a05

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

README.md

+3-2
Original file line numberDiff line numberDiff line change
@@ -61,6 +61,8 @@ miri hits a call to such a function, execution terminates. To fix this, it is
6161
possible to compile libstd with full MIR:
6262

6363
```sh
64+
rustup component add rust-src
65+
chmod +x -R ~/.rustup/toolchains/*/lib/rustlib/src/rust/src/jemalloc/include/jemalloc/
6466
cargo install xargo
6567
cd xargo/
6668
RUSTFLAGS='-Zalways-encode-mir' xargo build --target `rustc -vV | egrep '^host: ' | sed 's/^host: //'`
@@ -73,8 +75,7 @@ cargo run --bin miri -- --sysroot ~/.xargo/HOST tests/run-pass/vecs.rs
7375
```
7476

7577
Notice that you will have to re-run the last step of the preparations above when
76-
your toolchain changes (e.g., when you update the nightly). Also, xargo doesn't
77-
currently work with nightlies newer than 2017-04-23.
78+
your toolchain changes (e.g., when you update the nightly).
7879

7980
## Contributing and getting help
8081

0 commit comments

Comments
 (0)