diff options
| author | Dan Liew <delcypher@gmail.com> | 2014-02-14 16:37:33 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2014-02-14 16:37:33 +0000 |
| commit | d2f1684355e9a99545aa864e3eac81b259712a6f (patch) | |
| tree | 8994639b406bfb3d9454ba1d0abc29a4656fd25a /tools | |
| parent | 2ad968e1c05cfa40c75d0e5ba689beb91ed9d572 (diff) | |
| parent | 81a485c9a8e9e75899a3bbd9f9ccf4035b0bf723 (diff) | |
| download | klee-d2f1684355e9a99545aa864e3eac81b259712a6f.tar.gz | |
Merge pull request #99 from delcypher/feature_support_stp_with_boost
Upstream STP's libstp now depends on boost.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/kleaver/Makefile | 6 | ||||
| -rw-r--r-- | tools/klee/Makefile | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile index b93e361d..39ba8fdb 100644 --- a/tools/kleaver/Makefile +++ b/tools/kleaver/Makefile @@ -30,4 +30,8 @@ ifeq ($(ENABLE_METASMT),1) 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 -endif \ No newline at end of file +endif + +ifeq ($(STP_NEEDS_BOOST),1) + LIBS += $(UPSTREAM_STP_LINK_FLAGS) +endif diff --git a/tools/klee/Makefile b/tools/klee/Makefile index f050bf74..ce5a21e6 100644 --- a/tools/klee/Makefile +++ b/tools/klee/Makefile @@ -31,4 +31,8 @@ ifeq ($(ENABLE_METASMT),1) 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 -endif \ No newline at end of file +endif + +ifeq ($(STP_NEEDS_BOOST),1) + LIBS += $(UPSTREAM_STP_LINK_FLAGS) +endif |