diff options
Diffstat (limited to 'examples/hashsmt')
| -rw-r--r-- | examples/hashsmt/CMakeLists.txt | 19 |
1 files changed, 7 insertions, 12 deletions
diff --git a/examples/hashsmt/CMakeLists.txt b/examples/hashsmt/CMakeLists.txt index bf7c910b9..ff696b403 100644 --- a/examples/hashsmt/CMakeLists.txt +++ b/examples/hashsmt/CMakeLists.txt @@ -1,18 +1,13 @@ include_directories(.) -set(EXAMPLES_HASHSMT_BIN_DIR ${EXAMPLES_BIN_DIR}/hashsmt) +set(EXAMPLES_HASHSMT_LINK_LIBS cvc4) if(Boost_FOUND) - add_executable(sha1_inversion EXCLUDE_FROM_ALL sha1_inversion.cpp word.cpp) - target_link_libraries(sha1_inversion cvc4) - add_dependencies(examples sha1_inversion) - set_target_properties(sha1_inversion - PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_HASHSMT_BIN_DIR}) + cvc4_add_example(sha1_inversion + "sha1_inversion.cpp word.cpp" "${EXAMPLES_HASHSMT_LINK_LIBS}" "hashsmt" + "a" "sha1_inversion.outfile") # arguments to binary (for testing) endif() -add_executable(sha1_collision EXCLUDE_FROM_ALL sha1_collision.cpp word.cpp) -target_link_libraries(sha1_collision cvc4) -add_dependencies(examples sha1_collision) - -set_target_properties(sha1_collision - PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_HASHSMT_BIN_DIR}) +cvc4_add_example(sha1_collision + "sha1_collision.cpp word.cpp" "${EXAMPLES_HASHSMT_LINK_LIBS}" "hashsmt" + "1" "1" "sha1_collision.outfile") # arguments to binary (for testing) |