diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-06-23 12:17:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-23 12:17:02 +0100 |
| commit | 83e797ab33aef2749e0f6ffb9b63877085ca4e7c (patch) | |
| tree | 406a8fc982967a7e7e2a883cde75a06671ad6971 /MetaSMT.mk | |
| parent | 96ed13583a464538cab900c851bcc7338150772a (diff) | |
| parent | 7bcd56cb0c102d4f662205958b2a5aa6698b86ea (diff) | |
| download | klee-83e797ab33aef2749e0f6ffb9b63877085ca4e7c.tar.gz | |
Merge pull request #409 from hoangmle/fix_metaSMT
Add metaSMT to Travis CI, fix metaSMTBuilder to pass all tests
Diffstat (limited to 'MetaSMT.mk')
| -rw-r--r-- | MetaSMT.mk | 18 |
1 files changed, 7 insertions, 11 deletions
diff --git a/MetaSMT.mk b/MetaSMT.mk index 94dd398a..817fa663 100644 --- a/MetaSMT.mk +++ b/MetaSMT.mk @@ -1,17 +1,13 @@ # This file contains common code for linking against MetaSMT # -# FIXME: This is a horribly fragile hack. -# Instead the detection of what solvers the build of MetaSMT supports should be -# done by the configure script and then the appropriate compiler flags should -# be emitted to Makefile.config for consumption here. +# Consume flags generated by metaSMT here. ifeq ($(ENABLE_METASMT),1) include $(METASMT_ROOT)/share/metaSMT/metaSMT.makefile - 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/stp-svn/lib - CXX.Flags += -DBOOST_HAS_GCC_TR1 + LD.Flags += $(metaSMT_LDFLAGS) + CXX.Flags += -DMETASMT_DEFAULT_BACKEND_IS_$(METASMT_DEFAULT_BACKEND) + CXX.Flags += $(metaSMT_CXXFLAGS) + CXX.Flags += $(metaSMT_INCLUDES) CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) - LIBS += -lgomp -lboost_iostreams -lboost_thread -lboost_system -lmetaSMT -lz3 -lstp -lrt -lboolector -lminisat_core + CXX.Flags := $(filter-out -fno-rtti,$(CXX.Flags)) + LIBS += $(metaSMT_LDLIBS) endif |