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 /lib/Solver/Makefile | |
| 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 'lib/Solver/Makefile')
| -rwxr-xr-x | lib/Solver/Makefile | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/lib/Solver/Makefile b/lib/Solver/Makefile index a44b4f6e..715f4b2d 100755 --- a/lib/Solver/Makefile +++ b/lib/Solver/Makefile @@ -16,11 +16,5 @@ NO_INSTALL=1 include $(LEVEL)/Makefile.common -ifeq ($(ENABLE_METASMT),1) - include $(METASMT_ROOT)/share/metaSMT/metaSMT.makefile - CXX.Flags += -DBOOST_HAS_GCC_TR1 - CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags)) - CXX.Flags := $(filter-out -fno-rtti,$(CXX.Flags)) - CXX.Flags += $(metaSMT_CXXFLAGS) - CXX.Flags += $(metaSMT_INCLUDES) -endif +include $(PROJ_SRC_ROOT)/MetaSMT.mk + |