Target proof_examples renamed to prove_examples.

Author: nkaskov

.github/workflows/build_linux.yml

@@ -115,7 +115,7 @@ jobs:
 
       - name: Build proof for the circuit of the examples
         run: |
-          make -C build proof_examples -j$(nproc)
+          make -C build prove_examples -j$(nproc)
 
       - name: Build rslang
         run: |

.github/workflows/build_macos.yml

@@ -87,4 +87,4 @@ jobs:
 
       - name: Build proof for the circuit of the examples
         run: |
-          make -C build proof_examples -j$(sysctl -n hw.logicalcpu)
+          make -C build prove_examples -j$(sysctl -n hw.logicalcpu)

examples/CMakeLists.txt

@@ -1,6 +1,6 @@
 add_custom_target(circuit_examples)
 add_custom_target(assign_examples)
-add_custom_target(proof_examples)
+add_custom_target(prove_examples)
 
 function(add_example example_target)
     set(prefix ARG)
@@ -57,12 +57,12 @@ function(add_example example_target)
                       VERBATIM)
     add_dependencies(assign_examples ${example_target}_assign)
 
-    add_custom_target(${example_target}_proof
+    add_custom_target(${example_target}_prove
                       COMMAND $<TARGET_FILE:transpiler> -m gen-test-proof -i ${CMAKE_CURRENT_SOURCE_DIR}/${ARG_INPUT} -c circuit_${example_target}.crct -t assignment_${example_target}.tbl -o .
                       DEPENDS ${example_target} ${ARG_INPUT} $<TARGET_FILE:transpiler>
                       COMMAND_EXPAND_LISTS
                       VERBATIM)
-    add_dependencies(proof_examples ${example_target}_proof)
+    add_dependencies(prove_examples ${example_target}_prove)
 endfunction()
 
 add_example(arithmetics_example SOURCES arithmetics.cpp INPUT arithmetics.inp)