diff options
author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-10-21 20:11:05 +0100 |
---|---|---|
committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-10-21 20:11:05 +0100 |
commit | cc0ac847684b276a4845b0d7fe0e880850bef8f9 (patch) | |
tree | 0be7268267e2d863a93767d69b8d263a361b0d83 /tools | |
parent | c68ade2b7990e696c99cf26e6082de3a95ae29da (diff) | |
download | klee-cc0ac847684b276a4845b0d7fe0e880850bef8f9.tar.gz |
Removed unnecessary/redundant linking of library boost_thread-mt to klee and kleaver.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/kleaver/Makefile | 2 | ||||
-rw-r--r-- | tools/klee/Makefile | 2 |
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 |