From 31bc4355aaa27627d96696c03faa61ec35c5b7b4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 4 Apr 2019 10:21:32 +0100 Subject: [PATCH] adjust README --- README.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index cf7bc9e32d0b..54d8411b2fe7 100644 --- a/README.md +++ b/README.md @@ -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