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

Introduce Nix flakes #7

Merged
merged 15 commits into from
Apr 12, 2024
Merged

Introduce Nix flakes #7

merged 15 commits into from
Apr 12, 2024

Conversation

aleasims
Copy link
Contributor

Add Nix flake file to:

  • manage dependencies
  • build
  • run tests

aleasims added 10 commits April 11, 2024 22:17
Remove old evmc-related options and checks
These submodules have been removed.
This is a temporary solution required because blueprint
and crypto3 CMake files are broken and do not provide
correct targets. See TODO.
These files must be already installed. Reinstalling them
leads to an error.
Add build, check and dev shell outputs. Build emvc and intx with Nix.
Now this workflow uses Nix.
@aleasims aleasims self-assigned this Apr 11, 2024
@aleasims
Copy link
Contributor Author

aleasims commented Apr 11, 2024

This PR will fail until this fix in zkllvm-blueprint:

After this fix, we need to update lock for this flake.

@aleasims aleasims requested review from akokoshn and makxenov April 11, 2024 19:05
This blueprint revision is not yet in master. So this commit is going to be
reverted as soon we fix blueprint. For now just pin the side branch.
This allows to run CI successfully.
@aleasims
Copy link
Contributor Author

For now I simply pinned blueprint revision to non-master branch of this PR:

This must be reverted after merge.

This reverts commit 5235378.

Installation was removed by mistake and must be there.
Because evmc submodule is removed, its installation must be removed too.
These inputs have to be propagated otherwise any user won't be able
to use e.g. assigner.hpp because dependent headers won't be found.
@aleasims aleasims merged commit 6b2d0cb into master Apr 12, 2024
1 check passed
@aleasims aleasims deleted the add-nix-flake branch April 12, 2024 19:16
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.

2 participants