diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-14 10:47:58 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-14 12:03:41 +0000 |
| commit | 68fa7490713ecf6672684c4398f9c19a101f822a (patch) | |
| tree | 47ae7a9ed9cafbda28756a42860f4ae38b262d6b | |
| parent | e4d747935909c34b3f8d20938af7c01b7812db74 (diff) | |
| download | klee-68fa7490713ecf6672684c4398f9c19a101f822a.tar.gz | |
Fix linking with stp via MetaSMT when not building with direct STP
support
| -rw-r--r-- | tools/kleaver/Makefile | 7 | ||||
| -rw-r--r-- | tools/klee/Makefile | 7 |
2 files changed, 8 insertions, 6 deletions
diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile index a72c4c9d..287aeb38 100644 --- a/tools/kleaver/Makefile +++ b/tools/kleaver/Makefile @@ -28,8 +28,9 @@ ifeq ($(ENABLE_METASMT),1) LD.Flags += -L$(METASMT_ROOT)/../../deps/Z3-4.1/lib \ -L$(METASMT_ROOT)/../../deps/boolector-1.5.118/lib \ -L$(METASMT_ROOT)/../../deps/minisat-git/lib/ \ - -L$(METASMT_ROOT)/../../deps/boost-1_52_0/lib + -L$(METASMT_ROOT)/../../deps/boost-1_52_0/lib \ + -L$(METASMT_ROOT)/../../deps/stp-svn/lib CXX.Flags += -DBOOST_HAS_GCC_TR1 - CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) - LIBS += -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lrt -lboolector -lminisat_core + CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) + LIBS += -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lstp -lrt -lboolector -lminisat_core endif diff --git a/tools/klee/Makefile b/tools/klee/Makefile index 8e9ac6b7..f8824fe7 100644 --- a/tools/klee/Makefile +++ b/tools/klee/Makefile @@ -29,8 +29,9 @@ ifeq ($(ENABLE_METASMT),1) LD.Flags += -L$(METASMT_ROOT)/../../deps/Z3-4.1/lib \ -L$(METASMT_ROOT)/../../deps/boolector-1.5.118/lib \ -L$(METASMT_ROOT)/../../deps/minisat-git/lib/ \ - -L$(METASMT_ROOT)/../../deps/boost-1_52_0/lib + -L$(METASMT_ROOT)/../../deps/boost-1_52_0/lib \ + -L$(METASMT_ROOT)/../../deps/stp-svn/lib CXX.Flags += -DBOOST_HAS_GCC_TR1 - CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) - LIBS += -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lrt -lboolector -lminisat_core + CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) + LIBS += -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lstp -lrt -lboolector -lminisat_core endif |