Commit Graph

23 Commits

Author SHA1 Message Date
Ralf Jung
295e18df0d document how to get a toolchain with clippy 2022-06-08 08:12:20 -04:00
Oli Scherer
f1756c3ddd Add a custom ui test runner and move all tests to it 2022-05-25 13:31:26 +00:00
Ralf Jung
4632b2c689
tweak wording 2022-05-10 21:38:32 +02:00
y86-dev
b25d7b0e34 Clarified issues when building miri with a custom rustc
Co-authored-by: Ralf Jung <post@ralfj.de>
2022-05-10 21:30:45 +02:00
Ralf Jung
e51810df2c add and document MIRI_LIB_SRC env var to set the source from which Miri builds the standard library 2021-12-23 16:04:09 +01:00
Noah Lev
141bf38f23 Add instructions for using rust-analyzer for Miri development 2021-10-26 15:58:17 -07:00
Noah Lev
78c031204d Stage 2 seems to be required after all
Reverts most of bb59980b2d.
2021-09-05 10:21:16 -07:00
Ralf Jung
67b8844628 fix CONTRIBUTING example 2021-04-12 19:01:10 +02:00
Joshua Nelson
43ce2c2844 Improve contributing instructions
- Fix incorrect comment
- Recommend `x.py setup` over manually editing config.toml
- Link to rustc-dev-guide
2020-11-07 15:37:20 -05:00
Camelid
6a475c3ddf
CONTRIBUTING.md: Update comment
Co-authored-by: Ralf Jung <post@ralfj.de>
2020-11-07 11:26:41 -08:00
Camelid
bb59980b2d CONTRIBUTING.md: Use build --stage 1 instead of build --stage 2
It seems to work fine with `--stage 1` and it should be faster.
2020-10-30 14:34:07 -07:00
Camelid
1496462a89 Update locally-built rustc instructions 2020-10-30 09:57:39 -07:00
Ralf Jung
fedca29e69 tweak wording 2020-04-08 15:56:59 +02:00
Ralf Jung
b1009c4aa5 more editing 2020-04-08 12:33:14 +02:00
Ralf Jung
925465ebab more editing for CONTRIBUTING guide 2020-04-08 11:43:19 +02:00
Ralf Jung
ac3a24673c wording 2020-04-06 09:37:15 +02:00
Ralf Jung
86c57a8490 mention ./miri build 2020-04-06 09:33:36 +02:00
Ralf Jung
8948a29a4c adjust for librustc rename; reduce 'extern crate' to rustc crates 2020-03-30 11:07:32 +02:00
Ralf Jung
e1b654f09a mention cross-running in docs 2020-03-22 08:55:53 +01:00
Ralf Jung
f838410f49 toolchain -> rustup-toolchain 2019-12-01 10:20:16 +01:00
Ralf Jung
c9b3b688d5 add toolchain mgmt script 2019-11-30 10:08:41 +01:00
Ralf Jung
557836b83e adjust README for rustc-dev 2019-10-24 13:12:01 +02:00
Ralf Jung
1fb934b6cf add CONTRIBUTING guide 2019-09-14 13:42:32 +02:00