From 6c0952ff7260195a5f1e4db493440647c02927da Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Tue, 28 Jan 2025 16:40:38 +0200 Subject: feat(flake): Move creating guest (zkp) symlink to a custom phase --- zkvms/sp1/default.nix | 4 ---- 1 file changed, 4 deletions(-) (limited to 'zkvms/sp1') diff --git a/zkvms/sp1/default.nix b/zkvms/sp1/default.nix index 2ab3afa..a57afbe 100644 --- a/zkvms/sp1/default.nix +++ b/zkvms/sp1/default.nix @@ -36,10 +36,6 @@ in metacraft-labs.sp1 ]; - postPatch = '' - ln -s ../../../../guests/graph_coloring ./zkvms/sp1/guest/src/zkp - ''; - guestTarget = "riscv32im-succinct-zkvm-elf"; doCheck = false; -- cgit v1.2.3