1
Fork 0

simplify xargo instructions

This commit is contained in:
Ralf Jung 2017-05-30 18:12:06 -07:00
parent 2b37d500f1
commit d06c165368

View file

@ -65,7 +65,7 @@ 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: //'`
RUSTFLAGS='-Zalways-encode-mir' xargo build
```
Now you can run miri against the libstd compiled by xargo: