Rustup to rustc 1.27.0-nightly (ff2ac35db 2018-05-12)

[rust.git] / README.md

diff --git a/README.md b/README.md
index 1340ddb5b879dc65b7143c9e1822f1d09a483a8a..7660735a7cefa01289cfb30754b9149b561ea152 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Miri [[slides](https://solson.me/miri-slides.pdf)] [[report](https://solson.me/miri-report.pdf)] [![Build Status](https://travis-ci.org/solson/miri.svg?branch=master)](https://travis-ci.org/solson/miri)
+# Miri [[slides](https://solson.me/miri-slides.pdf)] [[report](https://solson.me/miri-report.pdf)] [![Build Status](https://travis-ci.org/solson/miri.svg?branch=master)](https://travis-ci.org/solson/miri) [![Windows build status](https://ci.appveyor.com/api/projects/status/github/solson/miri?svg=true)](https://ci.appveyor.com/project/solson63299/miri)
 
 
 An experimental interpreter for [Rust][rust]'s [mid-level intermediate
@@ -37,7 +37,7 @@ how to fix it, you could send a PR. :smile:
 ## Running tests
 
 ```sh
-cargo run --bin miri tests/run-pass/vecs.rs # Or whatever test you like.
+cargo run --bin miri tests/run-pass-fullmir/vecs.rs # Or whatever test you like.
 ```
 
 ## Debugging
@@ -62,16 +62,15 @@ 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: //'`
+RUSTFLAGS='-Zalways-encode-mir' xargo build
 ```
 
 Now you can run miri against the libstd compiled by xargo:
 
 ```sh
-cargo run --bin miri -- --sysroot ~/.xargo/HOST tests/run-pass/vecs.rs
+MIRI_SYSROOT=~/.xargo/HOST cargo run --bin miri tests/run-pass-fullmir/vecs.rs
 ```
 
 Notice that you will have to re-run the last step of the preparations above when