blob: 8733d9ec061f0aac4a976c2901d912eb396423ca (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# This file contains common code for linking against MetaSMT
#
# Consume flags generated by metaSMT here.
ifeq ($(ENABLE_METASMT),1)
include $(METASMT_ROOT)/share/metaSMT/metaSMT.makefile
LD.Flags += $(metaSMT_LDFLAGS)
CXX.Flags += -DMETASMT_DEFAULT_SOLVER_$(METASMT_DEFAULT_SOLVER)
CXX.Flags += $(metaSMT_CXXFLAGS)
CXX.Flags += $(metaSMT_INCLUDES)
CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags))
CXX.Flags := $(filter-out -fno-rtti,$(CXX.Flags))
LIBS += $(metaSMT_LDLIBS)
endif
|
