diff options
Diffstat (limited to 'zkvms/risc0/default.nix')
| -rw-r--r-- | zkvms/risc0/default.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix index 2a80ece..a072404 100644 --- a/zkvms/risc0/default.nix +++ b/zkvms/risc0/default.nix @@ -36,10 +36,6 @@ in metacraft-labs.risc0 ]; - postPatch = '' - ln -s ../../../../guests/graph_coloring ./zkvms/risc0/guest/src/zkp - ''; - guestTarget = "riscv32im-risc0-zkvm-elf"; preBuild = '' |