aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'zkvms/zkm/default.nix')
-rw-r--r--zkvms/zkm/default.nix4
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;