fix example compilation

This commit is contained in:
Jaremy Creechley 2023-11-21 18:59:21 -07:00
parent b220ffdd0f
commit d75d5030b7
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
2 changed files with 2 additions and 2 deletions

View File

@ -23,5 +23,4 @@ else:
# {.compile: "../build/product_cpp/product.cpp".}
# {.compile: "../build/product_cpp/main.cpp".}
{.compile: "product.cpp".}
{.compile: "main.cpp".}

View File

@ -1,4 +1,5 @@
#!/bin/bash
set -e
ORIG=`pwd`
NAME="product"
@ -46,7 +47,7 @@ echo '{ "inp": [7,11,13] , "plus": 1022 }' >build/${NAME}_input.json
# cd $ORIG/build
cp -v $ORIG/circom_build/* $ORIG/build/${NAME}_cpp/
cd $ORIG/build/${NAME}_cpp
echo "{.compile: \"${NAME}\"}" > ${NAME}.nim
echo "{.compile: \"${NAME}.cpp\"}" > ${NAME}.nim
nim cpp ${NAME}.nim
./${NAME} ../${NAME}_input.json ../${NAME}.wtns
cd $ORIG/build