blob: 718399f79289a99043bdfdfa25884ec2599c41b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
include_directories(.)
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)
add_executable(sha1_collision EXCLUDE_FROM_ALL sha1_collision.cpp word.cpp)
target_link_libraries(sha1_collision cvc4)
set_target_properties(sha1_inversion sha1_collision
PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_HASHSMT_BIN_DIR})
|
