fix: succinct entrypoint - output being swallowed up by make

near · Feb 22, 2024 · caeb88c · caeb88c
1 parent abcb01b
commit caeb88c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/succinct.json b/succinct.json
@@ -5,7 +5,7 @@
             "framework": "plonky2x",
             "baseDir": ".",
             "buildCommand": "make build-sync-circuit",
-            "proveCommand": "make prove-sync-circuit",
+            "proveCommand": "RUST_LOG=debug ./build/sync prove input.json",
             "requiredArtifacts": [
                 "sync"
             ]
@@ -15,7 +15,7 @@
             "framework": "plonky2x",
             "baseDir": ".",
             "buildCommand": "make build-verify-circuit",
-            "proveCommand": "make prove-verify-circuit",
+            "proveCommand": "RUST_LOG=debug ./build/verify prove input.json",
             "requiredArtifacts": [
                 "verify"
             ]

diff --git a/vendor/succinctx b/vendor/succinctx