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/risc0/default.nix | 4 ---- 1 file changed, 4 deletions(-) (limited to 'zkvms/risc0/default.nix') 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 = '' -- cgit v1.2.3