1 files changed, 32 insertions, 21 deletions
diff --git a/lib/Solver/CMakeLists.txt b/lib/Solver/CMakeLists.txt
index 8add4ad6..20da74da 100644
--- a/lib/Solver/CMakeLists.txt
+++ b/lib/Solver/CMakeLists.txt
@@ -7,26 +7,37 @@
 #
 #===------------------------------------------------------------------------===#
 klee_add_component(kleaverSolver
-	CachingSolver.cpp
-	CexCachingSolver.cpp
-	ConstantDivision.cpp
-	CoreSolver.cpp
-	DummySolver.cpp
-	FastCexSolver.cpp
-	IncompleteSolver.cpp
-	IndependentSolver.cpp
-	MetaSMTSolver.cpp
-	PCLoggingSolver.cpp
-	QueryLoggingSolver.cpp
-	SMTLIBLoggingSolver.cpp
-	Solver.cpp
-	SolverImpl.cpp
-	SolverStats.cpp
-	STPBuilder.cpp
-	STPSolver.cpp
-	ValidatingSolver.cpp
-	Z3Builder.cpp
-	Z3Solver.cpp
+  CachingSolver.cpp
+  CexCachingSolver.cpp
+  ConstantDivision.cpp
+  CoreSolver.cpp
+  DummySolver.cpp
+  FastCexSolver.cpp
+  IncompleteSolver.cpp
+  IndependentSolver.cpp
+  MetaSMTSolver.cpp
+  PCLoggingSolver.cpp
+  QueryLoggingSolver.cpp
+  SMTLIBLoggingSolver.cpp
+  Solver.cpp
+  SolverImpl.cpp
+  SolverStats.cpp
+  STPBuilder.cpp
+  STPSolver.cpp
+  ValidatingSolver.cpp
+  Z3Builder.cpp
+  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})
+