From cc0ac847684b276a4845b0d7fe0e880850bef8f9 Mon Sep 17 00:00:00 2001 From: Hristina Palikareva Date: Mon, 21 Oct 2013 20:11:05 +0100 Subject: Removed unnecessary/redundant linking of library boost_thread-mt to klee and kleaver. --- tools/kleaver/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/kleaver/Makefile') 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 -- cgit 1.4.1