user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

mention ./miri build

Browse source
This commit is contained in:
Ralf Jung 2020-04-06 09:33:36 +02:00
parent d25589f0bd
commit 86c57a8490
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
CONTRIBUTING.md
View file

@ -28,6 +28,15 @@ install that exact version of rustc as a toolchain:
[`rustup-toolchain-install-master`]: https://github.com/kennytm/rustup-toolchain-install-master
Now building Miri is just one command away:
```
./miri build
```
Run `./miri` without arguments to see the other commands our build tool
supports.
### Fixing Miri when rustc changes
Miri is heavily tied to rustc internals, so it is very common that rustc changes