about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorHoang M. Le <hle@informatik.uni-bremen.de>2016-05-26 14:04:55 +0200
committerHoang M. Le <hle@informatik.uni-bremen.de>2016-06-10 10:24:00 +0200
commitb30c06f9115bfcfea7a5d4d7609a25778adc573e (patch)
tree10d65c6f2642ce25687b106e471956361a3366ee /lib
parent8a43b34c48d5d0507be51e3a7a1eac87fb60e0dc (diff)
downloadklee-b30c06f9115bfcfea7a5d4d7609a25778adc573e.tar.gz
update Makefile for metaSMT
Diffstat (limited to 'lib')
-rwxr-xr-xlib/Solver/Makefile10
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
+