diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-18 17:57:56 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | d78113d408d706d44c1d8cfc379fa86cd8e20460 (patch) | |
| tree | f56be50b213272c6d14516df475ed5fcb2fd6b57 /examples/hashsmt/CMakeLists.txt | |
| parent | ed8d326cbdec820d347d8b4b5ee7b23c3367d169 (diff) | |
cmake: Add target runexamples.
Diffstat (limited to 'examples/hashsmt/CMakeLists.txt')
| -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) |