Skip to content

Commit

Permalink
update flake
Browse files Browse the repository at this point in the history
  • Loading branch information
AndreyMlashkin committed Jul 19, 2024
1 parent e2786ba commit bd777e7
Show file tree
Hide file tree
Showing 2 changed files with 36 additions and 96 deletions.
110 changes: 27 additions & 83 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

22 changes: 9 additions & 13 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -14,9 +14,11 @@
nil-crypto3 = {
url = "https://github.com/NilFoundation/crypto3";
type = "git";
submodules = false;
rev = "4e3ea865478cbfd44146e113ca554333626dfc9b";
inputs = {
nixpkgs.follows = "nixpkgs";
flake-utils.follows = "flake-utils";
nix-3rdparty.follows = "nix-3rdparty";
};
};
nil-zkllvm-blueprint = {
Expand All @@ -26,6 +28,7 @@
inputs = {
nixpkgs.follows = "nixpkgs";
nil-crypto3.follows = "nil-crypto3";
flake-utils.follows = "flake-utils";
};
};
};
Expand All @@ -43,39 +46,32 @@
inherit system;
overlays = [ nix-3rdparty.overlays.${system}.default ];
};
crypto3 = nil-crypto3.packages.${system}.default;
crypto3 = nil-crypto3.packages.${system}.crypto3;
blueprint = nil-zkllvm-blueprint.packages.${system}.default;

in {
packages = rec {
inherit pkgs crypto3 blueprint;
zkllvm = (pkgs.callPackage ./zkllvm.nix {
src_repo = self;
crypto3 = crypto3;
blueprint = blueprint;
inherit crypto3 blueprint;
});
debug = (pkgs.callPackage ./zkllvm.nix {
src_repo = self;
enableDebug = true;
crypto3 = crypto3;
blueprint = blueprint;
inherit crypto3 blueprint;
});
release = zkllvm;
default = debug;
};
checks = rec {
release-tests = (pkgs.callPackage ./zkllvm.nix {
src_repo = self;
crypto3 = crypto3;
blueprint = blueprint;
enableTesting = true;
inherit crypto3 blueprint;
});
debug-tests = (pkgs.callPackage ./zkllvm.nix {
src_repo = self;
enableDebug = true;
crypto3 = crypto3;
blueprint = blueprint;
enableTesting = true;
inherit crypto3 blueprint;
});
default = debug-tests;
};
Expand Down

0 comments on commit bd777e7

Please sign in to comment.