add step build circuits

NilFoundation · Jul 18, 2024 · f500c29 · f500c29
1 parent 34c7002
commit f500c29
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/cmake/CircuitCompile.cmake b/cmake/CircuitCompile.cmake
@@ -107,8 +107,8 @@ function(add_circuit)
         set(libcpp_stdlib ${CMAKE_BINARY_DIR}/libs/stdlib/libcpp/zkllvm-libcpp.ll)
     else()
         set(LINKER llvm-link-zkllvm)
-        set(libc_stdlib "/usr/lib/zkllvm/lib/zkllvm/zkllvm-libc.ll")
-        set(libcpp_stdlib "/usr/lib/zkllvm/lib/zkllvm/zkllvm-libcpp.ll")
+        set(libc_stdlib "/var/empty/lib/zkllvm/lib/zkllvm/zkllvm-libc.ll")
+        set(libcpp_stdlib "/var/empty/lib/zkllvm/lib/zkllvm/zkllvm-libcpp.ll")
     endif()
     if (NOT ${CIRCUIT_BINARY_OUTPUT})
         set(link_options "-S")

diff --git a/run_tests.sh b/run_tests.sh
@@ -7,6 +7,10 @@ df -h
 ninja -k 0 compile_cpp_examples
 ls -al ./examples/cpp
 
+echo "Build circuits(.crct) of the C++ examples"        
+ninja -k 0  cpp_examples_generate_crct
+ls -al ./examples/cpp
+
 echo "Run simultaneous .tbl and .crct generation of the C++ examples"
 df -h
 ninja -k 0 cpp_examples_generate_both