From e4d028c8c11a308e1bd3938db1bb88a91d826c19 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 19 Nov 2016 11:19:01 +0000
Subject: [CMake] Remove unneeded dependency declarations for the unit tests.
 These were changes that I forgot to make in
 dda296e09ee53ed85ccf1c3f08e7e809adce612e .

---
 unittests/Solver/CMakeLists.txt | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

(limited to 'unittests/Solver')

diff --git a/unittests/Solver/CMakeLists.txt b/unittests/Solver/CMakeLists.txt
index 602a1196..c82e51b5 100644
--- a/unittests/Solver/CMakeLists.txt
+++ b/unittests/Solver/CMakeLists.txt
@@ -1,12 +1,3 @@
 add_klee_unit_test(SolverTest
   SolverTest.cpp)
-# FIXME: KLEE's libraries should just declare what libraries
-# they depend on so we don't need to manually link.
-klee_get_llvm_libs(LLVM_LIBS Support)
-target_link_libraries(SolverTest
-  PRIVATE
-  kleaverSolver
-  kleaverExpr
-  kleeSupport
-  kleeBasic
-  ${LLVM_LIBS})
+target_link_libraries(SolverTest PRIVATE kleaverSolver)
-- 
cgit 1.4.1