diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-15 00:05:44 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 9267af9315f21c9608a5962f862a4882758aa26e (patch) | |
tree | 7a858ce7e43c4766b40ff79f51739055817a38e1 /examples/hashsmt | |
parent | a8c0ae49ee9c04327b1a8d538a0cdae746616d5b (diff) |
cmake: Guard examples that require Boost.
Diffstat (limited to 'examples/hashsmt')
-rw-r--r-- | examples/hashsmt/CMakeLists.txt | 14 | ||||
-rw-r--r-- | examples/hashsmt/sha1_collision.cpp | 1 |
2 files changed, 10 insertions, 5 deletions
diff --git a/examples/hashsmt/CMakeLists.txt b/examples/hashsmt/CMakeLists.txt index 718399f79..bf7c910b9 100644 --- a/examples/hashsmt/CMakeLists.txt +++ b/examples/hashsmt/CMakeLists.txt @@ -1,12 +1,18 @@ include_directories(.) -set(EXAMPLES_HASHSMT_BIN_DIR ${EXAMPLES_BIN_DIR}/hashsmt) +set(EXAMPLES_HASHSMT_BIN_DIR ${EXAMPLES_BIN_DIR}/hashsmt) -add_executable(sha1_inversion EXCLUDE_FROM_ALL sha1_inversion.cpp word.cpp) -target_link_libraries(sha1_inversion 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}) +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_inversion sha1_collision +set_target_properties(sha1_collision PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_HASHSMT_BIN_DIR}) diff --git a/examples/hashsmt/sha1_collision.cpp b/examples/hashsmt/sha1_collision.cpp index 49e028614..352707455 100644 --- a/examples/hashsmt/sha1_collision.cpp +++ b/examples/hashsmt/sha1_collision.cpp @@ -22,7 +22,6 @@ * Author: dejan */ -#include <boost/uuid/sha1.hpp> #include <fstream> #include <iostream> #include <sstream> |