blob: 32f60ac0a19bcf4585b5c162a5290d01248d6b9f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# 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_BACKEND_IS_$(METASMT_DEFAULT_BACKEND)
CXX.Flags += $(metaSMT_CXXFLAGS)
CXX.Flags += $(metaSMT_INCLUDES)
CXX.Flags := $(filter-out -fno-exceptions,$(CXX.Flags))
ifeq ($(metaSMT_REQUIRE_RTTI),true)
CXX.Flags := $(filter-out -fno-rtti,$(CXX.Flags))
endif
LIBS += $(metaSMT_LDLIBS)
endif
|
