From b220ffdd0f0d3e668cfe12145044cc54039448d4 Mon Sep 17 00:00:00 2001 From: Jaremy Creechley Date: Tue, 21 Nov 2023 18:56:33 -0700 Subject: [PATCH] change setup --- .gitignore | 1 + example/prove.sh | 4 +++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 110e37e..7a3d1b8 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,4 @@ tmp main main.nim *.json +nimcache/ diff --git a/example/prove.sh b/example/prove.sh index cb2a475..cee5aae 100755 --- a/example/prove.sh +++ b/example/prove.sh @@ -44,7 +44,9 @@ echo '{ "inp": [7,11,13] , "plus": 1022 }' >build/${NAME}_input.json # cd $ORIG/build/${NAME}_js # node generate_witness.js ${NAME}.wasm ../${NAME}_input.json ../${NAME}.wtns # cd $ORIG/build -cd $ORIG/circom_build/ +cp -v $ORIG/circom_build/* $ORIG/build/${NAME}_cpp/ +cd $ORIG/build/${NAME}_cpp +echo "{.compile: \"${NAME}\"}" > ${NAME}.nim nim cpp ${NAME}.nim ./${NAME} ../${NAME}_input.json ../${NAME}.wtns cd $ORIG/build