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

doc: C2Rust does not need patching any more.

Browse Source
This commit is contained in:
chrysn 2022-03-09 12:09:30 +01:00
parent 34dc24822f
commit 01573a154a
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
doc/doxygen/src/using-rust.md
View File

@ -126,17 +126,21 @@ This encompass both components needed for riot-sys and for the later installatio
Installing **C2Rust** is special because
it can only be built using a particular nightly version
(as explained in its [introduction post])
and needs some patches applied:
(as explained in its [introduction post]):
```shell
$ rustup install nightly-2019-12-05
$ rustup component add --toolchain nightly-2019-12-05 rustfmt rustc-dev
$ git clone https://github.com/chrysn-pull-requests/c2rust -b for-riot
$ git clone https://github.com/immunant/c2rust
$ cd c2rust
$ git reset --hard 6674d785
$ cargo +nightly-2019-12-05 install --locked --path c2rust
```
The `git reset` step pins C2Rust to the version at time of writing.
It is expected that later versions of C2Rust would work just as well,
but they may need a more recent nightly Rust.
[cargo]: https://doc.rust-lang.org/cargo/
[**rustup**, installed as described on its website]: https://rustup.rs/
[introduction post]: https://immunant.com/blog/2019/08/introduction-to-c2rust/