[miri] install `rust-src` component to be able to build the miri sysroot by narpfel · Pull Request #113 · compiler-explorer/misc-builder
Navigation Menu
{{ message }}
compiler-explorer / misc-builder Public
- Notifications You must be signed in to change notification settings
- Fork 38
Merged
mattgodbolt merged 2 commits intocompiler-explorer:mainfrom
May 28, 2025Merged
Conversation
Copy link
Member
narpfel
commented
May 27, 2025
narpfel
commented
narpfel
mentioned this pull request
narpfel
marked this pull request as draft
Copy link
Member Author
narpfel
commented
May 27, 2025
narpfel commented
May 27, 2025It turns out that the entire standard library can be deleted (1d47ec0) because Miri only uses the .rlib files in its own sysroot.
narpfel
marked this pull request as ready for review
mattgodbolt approved these changes May 28, 2025
Copy link
Member
mattgodbolt
left a comment
mattgodbolt
left a comment
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
thanks
mattgodbolt
merged commit
c2dfc7e
into
compiler-explorer:main
ojeda
mentioned this pull request
21 tasks
narpfel
deleted the
rust-miri-install-rust-src
branch
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants