about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-11-21 10:22:58 +0000
committerDan Liew <delcypher@gmail.com>2016-11-22 20:23:22 +0000
commitba6963ce1e4b84bf4bdb7bb5ab7e9a683db14b63 (patch)
tree695cb887355d5eb580ff7630f19b8eeba82fb397 /lib
parentfb231a03349996cf995a0e6ff37432f77965e072 (diff)
downloadklee-ba6963ce1e4b84bf4bdb7bb5ab7e9a683db14b63.tar.gz
[CMake] Add missing dependencies reported in #507.
This has shown that there is another circular dependency
(added by me! sigh...) between `kleeCore` and `kleeModule`.
Diffstat (limited to 'lib')
-rw-r--r--lib/Module/CMakeLists.txt8
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/Module/CMakeLists.txt b/lib/Module/CMakeLists.txt
index 22fd3c07..c927fa1b 100644
--- a/lib/Module/CMakeLists.txt
+++ b/lib/Module/CMakeLists.txt
@@ -33,3 +33,11 @@ if ("${LLVM_PACKAGE_VERSION}" VERSION_EQUAL "3.3" OR
 endif()
 klee_get_llvm_libs(LLVM_LIBS ${LLVM_COMPONENTS})
 target_link_libraries(kleeModule PUBLIC ${LLVM_LIBS})
+target_link_libraries(kleeModule PRIVATE
+  kleeSupport
+  # FIXME:
+  # There is a circular dependency between `kleeModule` and `kleeCore`.
+  # `ModuleUtil.cpp` uses `klee::SpecialFunctionHandler` (in `kleeCore`) but
+  # `kleeCore` uses `kleeModule`.
+  kleeCore
+)