Skip to content

Conversation

@chrysn
Copy link
Member

@chrysn chrysn commented Sep 3, 2025

These fixes enable using new C2Rust versions (> 0.20), which is urgent for users of CMake >= 4.0 (thanks @elenaf9).

TBD:

@chrysn
Copy link
Member Author

chrysn commented Nov 2, 2025

As c2rust 0.21 was released with the std regression fix, I could remove the workaround. Testing again with latest, and then before merging with riotdocker's c2rust.

[edit: CI passed, removing the DNM]

@chrysn chrysn requested a review from maribu November 2, 2025 22:06
@chrysn chrysn marked this pull request as ready for review November 2, 2025 22:06
@chrysn chrysn enabled auto-merge November 2, 2025 22:10
@chrysn chrysn merged commit 06b335e into main Nov 2, 2025
3 checks passed
@chrysn chrysn deleted the c2rust-post-0.20 branch November 2, 2025 22:15
chrysn added a commit to chrysn-pull-requests/RIOT that referenced this pull request Nov 11, 2025
This updates the package just so far that the changes from [60] (fixing
compatibility with C2Rust 0.21) are in, but not [61] (which caused yet
to be understood trouble on native32 builds).

[60]: RIOT-OS/rust-riot-sys#60
[61]: RIOT-OS/rust-riot-sys#61
maribu pushed a commit to maribu/RIOT that referenced this pull request Nov 11, 2025
This updates the package just so far that the changes from [60] (fixing
compatibility with C2Rust 0.21) are in, but not [61] (which caused yet
to be understood trouble on native32 builds).

[60]: RIOT-OS/rust-riot-sys#60
[61]: RIOT-OS/rust-riot-sys#61

(cherry picked from commit 45aba94)
LasseRosenow pushed a commit to LasseRosenow/RIOT that referenced this pull request Nov 18, 2025
This updates the package just so far that the changes from [60] (fixing
compatibility with C2Rust 0.21) are in, but not [61] (which caused yet
to be understood trouble on native32 builds).

[60]: RIOT-OS/rust-riot-sys#60
[61]: RIOT-OS/rust-riot-sys#61
LasseRosenow pushed a commit to LasseRosenow/RIOT that referenced this pull request Nov 19, 2025
This updates the package just so far that the changes from [60] (fixing
compatibility with C2Rust 0.21) are in, but not [61] (which caused yet
to be understood trouble on native32 builds).

[60]: RIOT-OS/rust-riot-sys#60
[61]: RIOT-OS/rust-riot-sys#61
LasseRosenow pushed a commit to LasseRosenow/RIOT that referenced this pull request Nov 19, 2025
This updates the package just so far that the changes from [60] (fixing
compatibility with C2Rust 0.21) are in, but not [61] (which caused yet
to be understood trouble on native32 builds).

[60]: RIOT-OS/rust-riot-sys#60
[61]: RIOT-OS/rust-riot-sys#61
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants