|
@@ -1,6 +1,6 @@
|
|
|
#!/bin/bash -x
|
|
#!/bin/bash -x
|
|
|
#python scripts/preprocess.py proofs/jubjub.psm > /tmp/jubjub.psm || exit $?
|
|
#python scripts/preprocess.py proofs/jubjub.psm > /tmp/jubjub.psm || exit $?
|
|
|
-racket lisp/jj.rkt
|
|
|
|
|
|
|
+racket lisp/jj.rkt || exit $?
|
|
|
python scripts/compile.py --supervisor jj.psm --output jubjub.zcd || exit $?
|
|
python scripts/compile.py --supervisor jj.psm --output jubjub.zcd || exit $?
|
|
|
cargo run --release --bin jubjub
|
|
cargo run --release --bin jubjub
|
|
|
|
|
|