about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorHristina Palikareva <h.palikareva@imperial.ac.uk>2013-10-21 20:11:05 +0100
committerHristina Palikareva <h.palikareva@imperial.ac.uk>2013-10-21 20:11:05 +0100
commitcc0ac847684b276a4845b0d7fe0e880850bef8f9 (patch)
tree0be7268267e2d863a93767d69b8d263a361b0d83
parentc68ade2b7990e696c99cf26e6082de3a95ae29da (diff)
downloadklee-cc0ac847684b276a4845b0d7fe0e880850bef8f9.tar.gz
Removed unnecessary/redundant linking of library boost_thread-mt to klee and kleaver.
-rw-r--r--tools/kleaver/Makefile2
-rw-r--r--tools/klee/Makefile2
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile
index b57f8a1f..b93e361d 100644
--- a/tools/kleaver/Makefile
+++ b/tools/kleaver/Makefile
@@ -29,5 +29,5 @@ ifeq ($(ENABLE_METASMT),1)
               -L$(METASMT_ROOT)/../../deps/boost-1_52_0/lib 
   CXX.Flags += -DBOOST_HAS_GCC_TR1
   CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) 
-  LIBS += -lrt -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lboolector -lminisat_core -lboost_thread-mt
+  LIBS += -lrt -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lboolector -lminisat_core
 endif
\ No newline at end of file
diff --git a/tools/klee/Makefile b/tools/klee/Makefile
index e065879e..f050bf74 100644
--- a/tools/klee/Makefile
+++ b/tools/klee/Makefile
@@ -30,5 +30,5 @@ ifeq ($(ENABLE_METASMT),1)
               -L$(METASMT_ROOT)/../../deps/boost-1_52_0/lib 
   CXX.Flags += -DBOOST_HAS_GCC_TR1
   CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) 
-  LIBS += -lrt -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lboolector -lminisat_core -lboost_thread-mt
+  LIBS += -lrt -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lboolector -lminisat_core
 endif
\ No newline at end of file