mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add cache location on windows to documentation

Browse Source
This commit is contained in:
DrMeepster 2022-06-11 16:41:32 -07:00 committed by GitHub
parent ada7b72a87
commit 681cb88804
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CONTRIBUTING.md
View File

@ -134,7 +134,7 @@ build Miri yourself, the Miri shipped by `rustup` will work. All you have to do
is set the `MIRI_LIB_SRC` environment variable to the `library` folder of a
`rust-lang/rust` repository checkout. Note that changing files in that directory
does not automatically trigger a re-build of the standard library; you have to
clear the Miri build cache manually (on Linux, `rm -rf ~/.cache/miri`).
clear the Miri build cache manually (on Linux, `rm -rf ~/.cache/miri` and on Windows, `rmdir /S "%LOCALAPPDATA%\rust-lang\miri"`).
## Configuring `rust-analyzer`
@ -226,7 +226,7 @@ rustup override set stage2
```
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
old, chached version will be used. On Linux, the cache is located at `~/.cache/miri` and on Windows, the cache is located at `%LOCALAPPDATA%\rust-lang\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'