From a2042748f00f386d7c7846927b9101f9c22107c7 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Thu, 30 Jan 2025 11:37:18 +0200 Subject: feat(sp1): Adapt to new input type and zkvmLib --- zkvms/sp1/default.nix | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'zkvms/sp1/default.nix') 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; - })) + }) -- cgit v1.2.3