diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-14 13:10:25 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-14 13:10:25 +0200 |
| commit | 7bdd131420125285b6dc61b1d7f505b0d4b15537 (patch) | |
| tree | 59c528f236981f4246ec90e928507a886ecdc0b7 /flake.nix | |
| parent | 17829ad872ce7ee5563465b952f939b388dd4f1b (diff) | |
| download | zkVMs-benchmarks-7bdd131420125285b6dc61b1d7f505b0d4b15537.tar zkVMs-benchmarks-7bdd131420125285b6dc61b1d7f505b0d4b15537.tar.gz zkVMs-benchmarks-7bdd131420125285b6dc61b1d7f505b0d4b15537.zip | |
feat: Rework usage of zkVM helper functions
Diffstat (limited to 'flake.nix')
| -rw-r--r-- | flake.nix | 37 |
1 files changed, 22 insertions, 15 deletions
@@ -20,7 +20,20 @@ pkgs = import nixpkgs { system = system; overlays = [ mcl-blockchain.overlays.default ]; }; callPackage = pkgs.lib.callPackageWith pkgs; - withZKVMPhases = currentPackage: with currentPackage; { + fixDeps = commonArgs: commonArgs // { + postUnpack = '' + ln -s ../../../guests ./source/zkvms/${commonArgs.pname}/guest/ + ln -s ../../../guests_macro ./source/zkvms/${commonArgs.pname}/guest/ + ln -s ../../Cargo.lock ./source/zkvms/${commonArgs.pname}/ + ''; + + preBuild = '' + cd zkvms/${commonArgs.pname} + ''; + }; + + + withCustomPhases = currentPackage: with currentPackage; { buildPhase = '' export INPUTS="$PWD/Vertices-010.in" @@ -56,24 +69,18 @@ doNotPostBuildInstallCargoBinaries = true; } // currentPackage; - fixZKVMDeps = commonArgs: commonArgs // { - postUnpack = '' - ln -s ../../../guests ./source/zkvms/${commonArgs.pname}/guest/ - ln -s ../../../guests_macro ./source/zkvms/${commonArgs.pname}/guest/ - ln -s ../../Cargo.lock ./source/zkvms/${commonArgs.pname}/ - ''; - - preBuild = '' - cd zkvms/${commonArgs.pname} - ''; - }; args-zkVM = { craneLib-default = crane.mkLib pkgs; - inherit withZKVMPhases; - inherit fixZKVMDeps; + zkVM-helpers = { + inherit fixDeps; + inherit withCustomPhases; + }; }; in { - packages.${system}.risc0 = callPackage ./zkvms/risc0/default.nix args-zkVM; + packages.${system} = { + risc0 = callPackage ./zkvms/risc0/default.nix args-zkVM; + sp1 = callPackage ./zkvms/sp1/default.nix args-zkVM; + }; }; } |
