From b25d7b0e34fd488558e1665da1b2aa2397bfaaeb Mon Sep 17 00:00:00 2001 From: y86-dev <94611769+y86-dev@users.noreply.github.com> Date: Tue, 10 May 2022 20:46:12 +0200 Subject: [PATCH 1/2] Clarified issues when building miri with a custom rustc Co-authored-by: Ralf Jung --- CONTRIBUTING.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3593785043..054ff433d3 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -206,6 +206,13 @@ rustup toolchain link stage2 build/x86_64-unknown-linux-gnu/stage2 rustup override set stage2 ``` +Important: You need to delete the miri cache (located at `~/.cache/miri` on Linux; the exact location is printed after the library build: "A libstd for Miri is now available in ...") when +you change the stdlib, otherwise the old, chached version will be used. + +Note: `./x.py --stage 2 compiler/rustc` currently errors with `thread 'main' +panicked at 'fs::read(stamp) failed with No such file or directory (os error 2)`, +you can simply ignore that error; Miri will build anyway. + For more information about building and configuring a local compiler, see . From 4632b2c6897ed8bfd4da39d45999a8b0a5b875f5 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 10 May 2022 21:38:32 +0200 Subject: [PATCH 2/2] tweak wording --- CONTRIBUTING.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 054ff433d3..996164b93e 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -206,8 +206,9 @@ rustup toolchain link stage2 build/x86_64-unknown-linux-gnu/stage2 rustup override set stage2 ``` -Important: You need to delete the miri cache (located at `~/.cache/miri` on Linux; the exact location is printed after the library build: "A libstd for Miri is now available in ...") when -you change the stdlib, otherwise the old, chached version will be used. +Important: You need to delete the Miri cache when you change the stdlib; otherwise the +old, chached version will be used. On Linux, the cache is located at `~/.cache/miri`; the exact +location is printed after the library build: "A libstd for Miri is now available in ...". Note: `./x.py --stage 2 compiler/rustc` currently errors with `thread 'main' panicked at 'fs::read(stamp) failed with No such file or directory (os error 2)`,