diff options
Diffstat (limited to 'tools/kleaver/CMakeLists.txt')
| -rw-r--r-- | tools/kleaver/CMakeLists.txt | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tools/kleaver/CMakeLists.txt b/tools/kleaver/CMakeLists.txt index befbcc6e..c079c2a4 100644 --- a/tools/kleaver/CMakeLists.txt +++ b/tools/kleaver/CMakeLists.txt @@ -7,12 +7,13 @@ # #===------------------------------------------------------------------------===# add_executable(kleaver - main.cpp + main.cpp ) -klee_get_llvm_libs(LLVM_LIBS support) -set(KLEE_LIBS kleeBasic kleaverSolver kleaverExpr kleeSupport) +set(KLEE_LIBS + kleaverSolver +) -target_link_libraries(kleaver ${KLEE_LIBS} ${LLVM_LIBS}) +target_link_libraries(kleaver ${KLEE_LIBS}) install(TARGETS kleaver RUNTIME DESTINATION bin) |