diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-30 11:37:18 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-30 11:37:18 +0200 |
| commit | a2042748f00f386d7c7846927b9101f9c22107c7 (patch) | |
| tree | 940c3742e48aa15dbc86dc5ff837f639c29eb19e /zkvms/sp1/default.nix | |
| parent | 5de4ae077e14b9e35c8d5e261462acfda911738c (diff) | |
| download | zkVMs-benchmarks-a2042748f00f386d7c7846927b9101f9c22107c7.tar zkVMs-benchmarks-a2042748f00f386d7c7846927b9101f9c22107c7.tar.gz zkVMs-benchmarks-a2042748f00f386d7c7846927b9101f9c22107c7.zip | |
feat(sp1): Adapt to new input type and zkvmLib
Diffstat (limited to 'zkvms/sp1/default.nix')
| -rw-r--r-- | zkvms/sp1/default.nix | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/zkvms/sp1/default.nix b/zkvms/sp1/default.nix index a57afbe..b20b568 100644 --- a/zkvms/sp1/default.nix +++ b/zkvms/sp1/default.nix @@ -1,4 +1,4 @@ -{ zkVM-helpers, +{ zkvmLib, stdenv, lib, just, @@ -21,14 +21,12 @@ let ../../Vertices-010.in ]); }; - - cargoLock = ./Cargo.lock; }; craneLib = craneLib-default.overrideToolchain metacraft-labs.sp1; - cargoArtifacts = craneLib.buildDepsOnly (zkVM-helpers.fixDeps commonArgs); + cargoArtifacts = zkvmLib.buildDepsOnly craneLib commonArgs; in - craneLib.buildPackage (zkVM-helpers.withCustomPhases (commonArgs + zkvmLib.buildPackage craneLib (commonArgs // { inherit cargoArtifacts; @@ -39,4 +37,4 @@ in guestTarget = "riscv32im-succinct-zkvm-elf"; doCheck = false; - })) + }) |