Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

risc0-sys crate / HAL refactor #348

Merged
merged 18 commits into from
Jan 31, 2023
Merged

risc0-sys crate / HAL refactor #348

merged 18 commits into from
Jan 31, 2023

Conversation

mothran
Copy link
Contributor

@mothran mothran commented Jan 25, 2023

Move all the native (.cpp/.cu/.h/.metal) code for different HAL layers into its own crate [ risc0-sys ]. This breaks some of the dependency links that trigger cargo rebuilds while editing different core crates in the tree and hopefully will increase development iteration speed.

This also paves the way for using cargo clippy as part of our development / CI pipeline.

This removes additional dependency links with the circuit crate,
should help with rebuild times in certain edit patterns of the src tree.
Building but does not pass receipt verification tests
This allows the code and build system to be leaf node in the dependency
graph and should prevent regular rebuilds of the native code.
Fully moved all major components into the new risc0-sys crate, wired
together the required env var propogation between the different crates
that depend on the HAL components. CPU is working, cuda is failing
tests, metal is un-tested.

I also added a manual cache system to provide a developer a fast-pass
way to bypass rebuild if needed (useful for CUDA builds mostly)
risc0/bootstrap/Cargo.toml Outdated Show resolved Hide resolved
@mothran mothran changed the title Parker/risc0 sys risc0-sys crate / HAL refactor Jan 27, 2023
@mothran mothran marked this pull request as ready for review January 30, 2023 21:30
@mothran
Copy link
Contributor Author

mothran commented Jan 30, 2023

Moving to ready-for-review, I would appreciate some IRL testing with people's different IDE / editing experience to see if they run into re-builds.

Copy link
Member

@flaub flaub left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice work!

@mothran mothran merged commit d9df845 into main Jan 31, 2023
@mothran mothran deleted the parker/risc0-sys branch January 31, 2023 00:59
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.

None yet

2 participants