summaryrefslogtreecommitdiff
path: root/examples/hashsmt
diff options
context:
space:
mode:
authorMathias Preiner <mathias.preiner@gmail.com>2018-09-15 00:05:44 -0700
committerMathias Preiner <mathias.preiner@gmail.com>2018-09-22 16:30:59 -0700
commit9267af9315f21c9608a5962f862a4882758aa26e (patch)
tree7a858ce7e43c4766b40ff79f51739055817a38e1 /examples/hashsmt
parenta8c0ae49ee9c04327b1a8d538a0cdae746616d5b (diff)
cmake: Guard examples that require Boost.
Diffstat (limited to 'examples/hashsmt')
-rw-r--r--examples/hashsmt/CMakeLists.txt14
-rw-r--r--examples/hashsmt/sha1_collision.cpp1
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>
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback