summaryrefslogtreecommitdiff
path: root/examples/hashsmt/CMakeLists.txt
blob: 5a0e484c86140c125e0186c9db7b902e101c3a0c (plain) 
1
2
3
4
5
6
7
8
9

set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin/examples/hashsmt)

include_directories(.)

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)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback