diff options
Diffstat (limited to 'lib/Solver/CMakeLists.txt')
| -rw-r--r-- | lib/Solver/CMakeLists.txt | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/lib/Solver/CMakeLists.txt b/lib/Solver/CMakeLists.txt index 8add4ad6..7864b2de 100644 --- a/lib/Solver/CMakeLists.txt +++ b/lib/Solver/CMakeLists.txt @@ -29,4 +29,15 @@ klee_add_component(kleaverSolver Z3Solver.cpp ) -target_link_libraries(kleaverSolver PRIVATE ${KLEE_SOLVER_LIBRARIES}) +set(LLVM_COMPONENTS + support +) +klee_get_llvm_libs(LLVM_LIBS ${LLVM_COMPONENTS}) +target_link_libraries(kleaverSolver PUBLIC ${LLVM_LIBS}) + +target_link_libraries(kleaverSolver PRIVATE + kleeBasic + kleaverExpr + kleeSupport + ${KLEE_SOLVER_LIBRARIES}) + |