From db74c1c030ba913e15b0c8bb86c50dc794f647b2 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 19 Dec 2021 17:46:17 +0100 Subject: [PATCH] readme: be more explicit about the toolchain --- README.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 487f8aeb2ba..76764f8b077 100644 --- a/README.md +++ b/README.md @@ -81,8 +81,11 @@ rustup +nightly component add miri If `rustup` says the `miri` component is unavailable, that's because not all nightly releases come with all tools. Check out [this website](https://rust-lang.github.io/rustup-components-history) to -determine a nightly version that comes with Miri and install that using -`rustup toolchain install nightly-YYYY-MM-DD`. +determine a nightly version that comes with Miri and install that using `rustup +toolchain install nightly-YYYY-MM-DD`. Either way, all of the following commands +assume the right toolchain is pinned via `rustup override set nightly` or +`rustup override set nightly-YYYY-MM-DD`. (Alternatively, use `cargo ++nightly`/`cargo +nightly-YYYY-MM-DD` for each of the following commands.) Now you can run your project in Miri: