diff options
Diffstat (limited to 'zkvms/zkm/default.nix')
| -rw-r--r-- | zkvms/zkm/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix index c6c2230..6c71c2d 100644 --- a/zkvms/zkm/default.nix +++ b/zkvms/zkm/default.nix @@ -38,6 +38,9 @@ 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 ''; doCheck = false; |
