1 files changed, 14 insertions, 8 deletions
diff --git a/lib/Support/CMakeLists.txt b/lib/Support/CMakeLists.txt
index 4bf7ea7d..4e44fbc6 100644
--- a/lib/Support/CMakeLists.txt
+++ b/lib/Support/CMakeLists.txt
@@ -7,14 +7,20 @@
 #
 #===------------------------------------------------------------------------===#
 klee_add_component(kleeSupport
-	CompressionStream.cpp
-	ErrorHandling.cpp
-	MemoryUsage.cpp
-	PrintVersion.cpp
-	RNG.cpp
-	Time.cpp
-	Timer.cpp
-	TreeStream.cpp
+  CompressionStream.cpp
+  ErrorHandling.cpp
+  MemoryUsage.cpp
+  PrintVersion.cpp
+  RNG.cpp
+  Time.cpp
+  Timer.cpp
+  TreeStream.cpp
 )
 
 target_link_libraries(kleeSupport PRIVATE ${ZLIB_LIBRARIES})
+
+set(LLVM_COMPONENTS
+  support
+)
+klee_get_llvm_libs(LLVM_LIBS ${LLVM_COMPONENTS})
+target_link_libraries(kleeSupport PUBLIC ${LLVM_LIBS})