diff options
Diffstat (limited to 'zkvms/sp1/default.nix')
| -rw-r--r-- | zkvms/sp1/default.nix | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/zkvms/sp1/default.nix b/zkvms/sp1/default.nix index 13f19c0..86a019c 100644 --- a/zkvms/sp1/default.nix +++ b/zkvms/sp1/default.nix @@ -5,12 +5,18 @@ metacraft-labs, pkg-config, craneLib-default, + gnum4, }: let commonArgs = { pname = "sp1"; inherit (metacraft-labs.sp1) version; + nativeBuildInputs = [ + metacraft-labs.sp1 + gnum4 + ]; + src = with lib.fileset; toSource { root = ../..; fileset = intersection (gitTracked ../..) (unions [ @@ -20,6 +26,8 @@ let ../../zkvms_host_io ]); }; + + extraLockfile = "${metacraft-labs.sp1}/Cargo.lock"; }; craneLib = craneLib-default.overrideToolchain metacraft-labs.sp1; @@ -29,10 +37,6 @@ in // { inherit cargoArtifacts; - nativeBuildInputs = [ - metacraft-labs.sp1 - ]; - guestTarget = "riscv32im-succinct-zkvm-elf"; doCheck = false; |