1 files changed, 19 insertions, 4 deletions
diff --git a/lib/Basic/CMakeLists.txt b/lib/Basic/CMakeLists.txt
index 13f76d42..d0a309c9 100644
--- a/lib/Basic/CMakeLists.txt
+++ b/lib/Basic/CMakeLists.txt
@@ -7,8 +7,23 @@
 #
 #===------------------------------------------------------------------------===#
 klee_add_component(kleeBasic
-	CmdLineOptions.cpp
-	ConstructSolverChain.cpp
-	KTest.cpp
-	Statistics.cpp
+  CmdLineOptions.cpp
+  ConstructSolverChain.cpp
+  KTest.cpp
+  Statistics.cpp
+)
+set(LLVM_COMPONENTS
+  support
+)
+
+klee_get_llvm_libs(LLVM_LIBS ${LLVM_COMPONENTS})
+target_link_libraries(kleeBasic PUBLIC ${LLVM_LIBS})
+
+target_link_libraries(kleeBasic PRIVATE
+  # FIXME: THIS IS STUPID.
+  # `ConstructSolverChain.cpp` should be in
+  # `kleaverSolver` not in in `kleeBasic`.
+  # We are creating a circular dependency because
+  # of this because `kleaverSolver` depends on `kleeBasic`.
+  kleaverSolver
 )