From cdf7a057f1a6cdb96ddee81cfbcc3a059e27cf2d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 30 May 2017 13:19:15 -0700 Subject: [PATCH] latest rust nightly contains all the bits needed to re-compile libstd --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index aa89df9731fa..1340ddb5b879 100644 --- a/README.md +++ b/README.md @@ -61,6 +61,8 @@ miri hits a call to such a function, execution terminates. To fix this, it is possible to compile libstd with full MIR: ```sh +rustup component add rust-src +chmod +x -R ~/.rustup/toolchains/*/lib/rustlib/src/rust/src/jemalloc/include/jemalloc/ cargo install xargo cd xargo/ 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 ``` Notice that you will have to re-run the last step of the preparations above when -your toolchain changes (e.g., when you update the nightly). Also, xargo doesn't -currently work with nightlies newer than 2017-04-23. +your toolchain changes (e.g., when you update the nightly). ## Contributing and getting help