kaspar/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-23 21:43:51 +01:00
Code Releases Activity

Merge pull request #17536 from chrysn-pull-requests/use-upstream-c2rust

Browse Source 
doc: C2Rust does not need patching any more.
This commit is contained in:
benpicco 2022-03-09 22:09:24 +01:00 committed by GitHub
commit 6eb9a70b49
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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/