diff options
Diffstat (limited to 'tools/kleaver/CMakeLists.txt')
| -rw-r--r-- | tools/kleaver/CMakeLists.txt | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/kleaver/CMakeLists.txt b/tools/kleaver/CMakeLists.txt index befbcc6e..54452fff 100644 --- a/tools/kleaver/CMakeLists.txt +++ b/tools/kleaver/CMakeLists.txt @@ -10,9 +10,10 @@ add_executable(kleaver 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) |