diff options
Diffstat (limited to 'zkvms/zkm/default.nix')
| -rw-r--r-- | zkvms/zkm/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix index d7df33a..11d6f12 100644 --- a/zkvms/zkm/default.nix +++ b/zkvms/zkm/default.nix @@ -38,9 +38,7 @@ in zkvmLib.buildPackage craneLib (commonArgs // { preRun = '' export ELF_PATH="$out/bin/guest" export PKG_CONFIG_PATH='${openssl.dev}/lib/pkgconfig' # Dirty hack - - echo "Generating witness. THIS COULD RETURN A SIGSEGV ERROR, IGNORE IT" - SNARK_SETUP=true "$out"/bin/host-${commonArgs.pname} prove 2>/dev/null || true + export SNARK_SETUP="\''${SNARK_SETUP-true}" ''; doCheck = false; |
