diff options
Diffstat (limited to 'src/expr/Makefile.am')
| -rw-r--r-- | src/expr/Makefile.am | 94 |
1 files changed, 80 insertions, 14 deletions
diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index 7b34fe431..76f6ef1a4 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -9,19 +9,19 @@ libexpr_la_SOURCES = \ node.h \ node.cpp \ node_builder.h \ - expr.h \ + @srcdir@/expr.h \ type.h \ node_value.h \ node_manager.h \ - expr_manager.h \ + @srcdir@/expr_manager.h \ attribute.h \ attribute.cpp \ @srcdir@/kind.h \ @srcdir@/metakind.h \ node_manager.cpp \ - expr_manager.cpp \ + @srcdir@/expr_manager.cpp \ node_value.cpp \ - expr.cpp \ + @srcdir@/expr.cpp \ type.cpp \ command.h \ command.cpp @@ -29,25 +29,91 @@ libexpr_la_SOURCES = \ EXTRA_DIST = \ @srcdir@/kind.h \ @srcdir@/metakind.h \ + @srcdir@/expr_manager.h \ + @srcdir@/expr.h \ + @srcdir@/expr_manager.cpp \ + @srcdir@/expr.cpp \ kind_template.h \ - metakind_template.h + metakind_template.h \ + expr_manager_template.h \ + expr_manager_template.cpp \ + expr_template.h \ + expr_template.cpp -@srcdir@/kind.h: mkkind kind_template.h builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds +@srcdir@/kind.h: kind_template.h mkkind builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkkind + $(AM_V_at)mv -f $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/mkkind \ - @srcdir@/kind_template.h \ + $< \ @srcdir@/builtin_kinds \ `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \ - > @srcdir@/kind.h) || (rm -f @srcdir@/kind.h && exit 1) + > $@) || (rm -f $@ && exit 1) -@srcdir@/metakind.h: mkmetakind metakind_template.h builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds +@srcdir@/metakind.h: metakind_template.h mkmetakind builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkmetakind + $(AM_V_at)mv -f $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/mkmetakind \ - @srcdir@/metakind_template.h \ + $< \ @srcdir@/builtin_kinds \ `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \ - > @srcdir@/metakind.h) || (rm -f @srcdir@/metakind.h && exit 1) + > $@) || (rm -f $@ && exit 1) -BUILT_SOURCES = @srcdir@/kind.h @srcdir@/metakind.h -dist-hook: @srcdir@/kind.h @srcdir@/metakind.h -MAINTAINERCLEANFILES = @srcdir@/kind.h @srcdir@/metakind.h +@srcdir@/expr.h: expr_template.h mkexpr builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds + $(AM_V_at)chmod +x @srcdir@/mkexpr + $(AM_V_at)mv -f $@ $@~ 2>/dev/null || true + $(AM_V_GEN)(@srcdir@/mkexpr \ + $< \ + @srcdir@/builtin_kinds \ + `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \ + > $@) || (rm -f $@ && exit 1) + +@srcdir@/expr.cpp: expr_template.cpp mkexpr builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds + $(AM_V_at)chmod +x @srcdir@/mkexpr + $(AM_V_at)mv -f $@ $@~ 2>/dev/null || true + $(AM_V_GEN)(@srcdir@/mkexpr \ + $< \ + @srcdir@/builtin_kinds \ + `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \ + > $@) || (rm -f $@ && exit 1) + +@srcdir@/expr_manager.h: expr_manager_template.h mkexpr builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds + $(AM_V_at)chmod +x @srcdir@/mkexpr + $(AM_V_at)mv -f $@ $@~ 2>/dev/null || true + $(AM_V_GEN)(@srcdir@/mkexpr \ + $< \ + @srcdir@/builtin_kinds \ + `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \ + > $@) || (rm -f $@ && exit 1) + +@srcdir@/expr_manager.cpp: expr_manager_template.cpp mkexpr builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds + $(AM_V_at)chmod +x @srcdir@/mkexpr + $(AM_V_at)mv -f $@ $@~ 2>/dev/null || true + $(AM_V_GEN)(@srcdir@/mkexpr \ + $< \ + @srcdir@/builtin_kinds \ + `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \ + > $@) || (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 |