3 -I@srcdir@/../include -I@srcdir@/..
4 AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN)
6 noinst_LTLIBRARIES = libexpr.la
13 builtin_type_rules.h \
15 convenience_node_builders.h \
21 @srcdir@/expr_manager.h \
27 @srcdir@/expr_manager.cpp \
33 declaration_scope.cpp \
39 @srcdir@/expr_manager.h \
41 @srcdir@/expr_manager.cpp \
47 expr_manager_template.h \
48 expr_manager_template.cpp \
52 include @top_srcdir@/src/theory/Makefile.subdirs
54 @srcdir@/kind.h: kind_template.h mkkind builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
55 $(AM_V_at)chmod +x @srcdir@/mkkind
56 $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
57 $(AM_V_GEN)(@srcdir@/mkkind \
59 @srcdir@/builtin_kinds \
60 `cat @top_builddir@/src/theory/.subdirs` \
61 > $@) || (rm -f $@ && exit 1)
63 @srcdir@/metakind.h: metakind_template.h mkmetakind builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
64 $(AM_V_at)chmod +x @srcdir@/mkmetakind
65 $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
66 $(AM_V_GEN)(@srcdir@/mkmetakind \
68 @srcdir@/builtin_kinds \
69 `cat @top_builddir@/src/theory/.subdirs` \
70 > $@) || (rm -f $@ && exit 1)
72 @srcdir@/expr.h: expr_template.h mkexpr builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
73 $(AM_V_at)chmod +x @srcdir@/mkexpr
74 $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
75 $(AM_V_GEN)(@srcdir@/mkexpr \
77 @srcdir@/builtin_kinds \
78 `cat @top_builddir@/src/theory/.subdirs` \
79 > $@) || (rm -f $@ && exit 1)
81 @srcdir@/expr.cpp: expr_template.cpp mkexpr builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
82 $(AM_V_at)chmod +x @srcdir@/mkexpr
83 $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
84 $(AM_V_GEN)(@srcdir@/mkexpr \
86 @srcdir@/builtin_kinds \
87 `cat @top_builddir@/src/theory/.subdirs` \
88 > $@) || (rm -f $@ && exit 1)
90 @srcdir@/expr_manager.h: expr_manager_template.h mkexpr builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
91 $(AM_V_at)chmod +x @srcdir@/mkexpr
92 $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
93 $(AM_V_GEN)(@srcdir@/mkexpr \
95 @srcdir@/builtin_kinds \
96 `cat @top_builddir@/src/theory/.subdirs` \
97 > $@) || (rm -f $@ && exit 1)
99 @srcdir@/expr_manager.cpp: expr_manager_template.cpp mkexpr builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
100 $(AM_V_at)chmod +x @srcdir@/mkexpr
101 $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
102 $(AM_V_GEN)(@srcdir@/mkexpr \
104 @srcdir@/builtin_kinds \
105 `cat @top_builddir@/src/theory/.subdirs` \
106 > $@) || (rm -f $@ && exit 1)
110 @srcdir@/metakind.h \
113 @srcdir@/expr_manager.h \
114 @srcdir@/expr_manager.cpp
118 @srcdir@/metakind.h \
121 @srcdir@/expr_manager.h \
122 @srcdir@/expr_manager.cpp
124 MAINTAINERCLEANFILES = \
126 @srcdir@/metakind.h \
129 @srcdir@/expr_manager.h \
130 @srcdir@/expr_manager.cpp