From ba6963ce1e4b84bf4bdb7bb5ab7e9a683db14b63 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 21 Nov 2016 10:22:58 +0000
Subject: [CMake] Add missing dependencies reported in #507.

This has shown that there is another circular dependency
(added by me! sigh...) between `kleeCore` and `kleeModule`.
---
 lib/Module/CMakeLists.txt | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'lib/Module')

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
+)
-- 
cgit 1.4.1