1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #17504 from chrysn-pull-requests/doc-c2rust-locked

doc: Fix C2Rust installation procedure
This commit is contained in:
Marian Buschsieweke 2022-01-17 17:40:38 +01:00 committed by GitHub
commit d788bd327d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -125,7 +125,7 @@ $ rustup component add --toolchain nightly-2019-12-05 rustfmt rustc-dev
$ cargo +nightly-2019-12-05 install c2rust
$ git clone https://github.com/chrysn-pull-requests/c2rust -b for-riot
$ cd c2rust
$ cargo +nightly-2019-12-05 install --path c2rust
$ cargo +nightly-2019-12-05 install --locked --path c2rust
```
[cargo]: https://doc.rust-lang.org/cargo/