Separate assigner and transpiler runs into functions in CMakeLists

Author: aleasims

examples/CMakeLists.txt

@@ -1,3 +1,19 @@
 set(INPUTS_DIR ${CMAKE_CURRENT_SOURCE_DIR}/inputs)
 
+function(assign_ir target binary_name input)
+    add_custom_target(${target}_assign
+                      COMMAND $<TARGET_FILE:assigner> -b ${binary_name} -i ${INPUTS_DIR}/${input} -c circuit_${target}.crct -t assignment_${target}.tbl -e pallas --check
+                      DEPENDS ${target} ${INPUTS_DIR}/${input} $<TARGET_FILE:assigner>
+                      COMMAND_EXPAND_LISTS
+                      VERBATIM)
+endfunction()
+
+function(gen_proof target input)
+    add_custom_target(${target}_prove
+                      COMMAND $<TARGET_FILE:transpiler> -m gen-test-proof -i ${INPUTS_DIR}/${input} -c circuit_${target}.crct -t assignment_${target}.tbl -o .
+                      DEPENDS ${target} ${INPUTS_DIR}/${input} $<TARGET_FILE:transpiler>
+                      COMMAND_EXPAND_LISTS
+                      VERBATIM)
+endfunction()
+
 add_subdirectory(cpp)

examples/cpp/CMakeLists.txt

@@ -50,18 +50,10 @@ function(add_example example_target)
         set(binary_name ${example_target}.bc)
     endif()
 
-    add_custom_target(${example_target}_assign
-                      COMMAND $<TARGET_FILE:assigner> -b ${binary_name} -i ${INPUTS_DIR}/${ARG_INPUT} -c circuit_${example_target}.crct -t assignment_${example_target}.tbl -e pallas --check
-                      DEPENDS ${example_target} ${ARG_INPUT} $<TARGET_FILE:assigner>
-                      COMMAND_EXPAND_LISTS
-                      VERBATIM)
+    assign_ir(${example_target} ${binary_name} ${ARG_INPUT})
     add_dependencies(assign_cpp_examples ${example_target}_assign)
 
-    add_custom_target(${example_target}_prove
-                      COMMAND $<TARGET_FILE:transpiler> -m gen-test-proof -i ${INPUTS_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)
+    gen_proof(${example_target} ${ARG_INPUT})
     add_dependencies(prove_cpp_examples ${example_target}_prove)
 endfunction()