diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-01-30 12:18:36 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-01-30 12:18:36 +0200 |
| commit | ad08417e626b2e6e93d1f217012acd1dd77d495f (patch) | |
| tree | 9044edc6f1f32a7dac97b4093ca4ac985cea4d01 /zkvms/jolt/default.nix | |
| parent | bba85c2f2545f07f02b8af3c3bd8cf0901484289 (diff) | |
| download | zkVMs-benchmarks-ad08417e626b2e6e93d1f217012acd1dd77d495f.tar zkVMs-benchmarks-ad08417e626b2e6e93d1f217012acd1dd77d495f.tar.gz zkVMs-benchmarks-ad08417e626b2e6e93d1f217012acd1dd77d495f.zip | |
feat(jolt): Adapt to new input type and zkvmLib
Diffstat (limited to 'zkvms/jolt/default.nix')
| -rw-r--r-- | zkvms/jolt/default.nix | 17 |
1 files changed, 5 insertions, 12 deletions
diff --git a/zkvms/jolt/default.nix b/zkvms/jolt/default.nix index e8614fe..1086cde 100644 --- a/zkvms/jolt/default.nix +++ b/zkvms/jolt/default.nix @@ -1,4 +1,4 @@ -{ zkVM-helpers, +{ zkvmLib, stdenv, lib, just, @@ -23,8 +23,6 @@ let ]); }; - cargoLock = ./Cargo.lock; - nativeBuildInputs = [ metacraft-labs.jolt openssl @@ -33,21 +31,16 @@ let }; craneLib = craneLib-default.overrideToolchain metacraft-labs.jolt; - cargoArtifacts = craneLib.buildDepsOnly (zkVM-helpers.fixDeps (commonArgs // { + cargoArtifacts = zkvmLib.buildDepsOnly craneLib (commonArgs // { postConfigure = '' - sed -i 's/"guest",//' zkvms/jolt/Cargo.toml sed -i '/dependencies.guest/,+1d' zkvms/jolt/host/Cargo.toml ''; - })); + }); in - craneLib.buildPackage (zkVM-helpers.withCustomPhases (commonArgs + zkvmLib.buildPackage craneLib (commonArgs // { inherit cargoArtifacts; - postPatch = '' - sed -i '/guest\/guests/d' ./zkvms/jolt/Cargo.toml - ''; - guestTarget = "riscv32im-jolt-zkvm-elf"; guestExtraArgs = "--features guest"; @@ -66,4 +59,4 @@ in ''; doCheck = false; - })) + }) |