diff options
Diffstat (limited to 'zkvms/sp1')
| -rw-r--r-- | zkvms/sp1/default.nix | 4 |
1 files changed, 0 insertions, 4 deletions
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; |