AM_CPPFLAGS = \ -D__BUILDING_CVC4LIB \ -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) noinst_LTLIBRARIES = libexpr.la libexpr_la_SOURCES = \ node.h \ node.cpp \ type_node.h \ type_node.cpp \ node_builder.h \ @srcdir@/expr.h \ type.h \ type.cpp \ node_value.h \ node_manager.h \ @srcdir@/expr_manager.h \ attribute.h \ attribute.cpp \ @srcdir@/kind.h \ @srcdir@/metakind.h \ node_manager.cpp \ @srcdir@/expr_manager.cpp \ node_value.cpp \ @srcdir@/expr.cpp \ command.h \ command.cpp \ declaration_scope.h \ declaration_scope.cpp \ expr_manager_scope.h EXTRA_DIST = \ @srcdir@/kind.h \ @srcdir@/metakind.h \ @srcdir@/expr_manager.h \ @srcdir@/expr.h \ @srcdir@/expr_manager.cpp \ @srcdir@/expr.cpp \ @srcdir@/type.h \ @srcdir@/type.cpp \ kind_template.h \ metakind_template.h \ expr_manager_template.h \ expr_manager_template.cpp \ expr_template.h \ expr_template.cpp include @top_srcdir@/src/theory/Makefile.subdirs @srcdir@/kind.h: kind_template.h mkkind builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkkind $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/mkkind \ $< \ @srcdir@/builtin_kinds \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) @srcdir@/metakind.h: metakind_template.h mkmetakind builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkmetakind $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/mkmetakind \ $< \ @srcdir@/builtin_kinds \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) @srcdir@/expr.h: expr_template.h mkexpr builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkexpr $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/mkexpr \ $< \ @srcdir@/builtin_kinds \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) @srcdir@/expr.cpp: expr_template.cpp mkexpr builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkexpr $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/mkexpr \ $< \ @srcdir@/builtin_kinds \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) @srcdir@/expr_manager.h: expr_manager_template.h mkexpr builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkexpr $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/mkexpr \ $< \ @srcdir@/builtin_kinds \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) @srcdir@/expr_manager.cpp: expr_manager_template.cpp mkexpr builtin_kinds @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkexpr $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/mkexpr \ $< \ @srcdir@/builtin_kinds \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) BUILT_SOURCES = \ @srcdir@/kind.h \ @srcdir@/metakind.h \ @srcdir@/expr.h \ @srcdir@/expr.cpp \ @srcdir@/expr_manager.h \ @srcdir@/expr_manager.cpp dist-hook: \ @srcdir@/kind.h \ @srcdir@/metakind.h \ @srcdir@/expr.h \ @srcdir@/expr.cpp \ @srcdir@/expr_manager.h \ @srcdir@/expr_manager.cpp MAINTAINERCLEANFILES = \ @srcdir@/kind.h \ @srcdir@/metakind.h \ @srcdir@/expr.h \ @srcdir@/expr.cpp \ @srcdir@/expr_manager.h \ @srcdir@/expr_manager.cpp