19 lines
839 B
Nim
19 lines
839 B
Nim
import std/os
|
|
|
|
task genffi, "update the nim ffi bindings":
|
|
exec "cargo install nbindgen"
|
|
exec "nbindgen --crate codex-storage-proofs --output codex_proofs_ffi.nim"
|
|
|
|
task compileCircuits, "compile test circuits":
|
|
exec "npm i"
|
|
exec "circom src/circuit_tests/poseidon-digest-test.circom --r1cs --wasm -o src/circuit_tests/artifacts"
|
|
exec "circom src/circuit_tests/poseidon-hash-test.circom --r1cs --wasm -o src/circuit_tests/artifacts"
|
|
exec "circom src/circuit_tests/storer-test.circom --r1cs --wasm -o src/circuit_tests/artifacts"
|
|
|
|
task tests, "run unit tests":
|
|
let storerR1cs = fileExists "src/circuit_tests/artifacts/storer-test.r1cs"
|
|
let storerWasm = fileExists "src/circuit_tests/artifacts/storer-test_js/storer-test.wasm"
|
|
if not storerR1cs or not storerWasm:
|
|
compileCircuitsTask()
|
|
exec "nim c -r tests/tffi.nim"
|