blob: bf7c910b982b80bf28c74320f7504fdf1f6dc3c7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
include_directories(.)
set(EXAMPLES_HASHSMT_BIN_DIR ${EXAMPLES_BIN_DIR}/hashsmt)
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_collision
PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_HASHSMT_BIN_DIR})
|