diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-08-14 18:34:18 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-14 18:34:18 -0700 |
commit | c577a90f58374e64d293fe02293dc31c693704ef (patch) | |
tree | 4f7be8f45f105aac39947ecd713026993b575f73 /src/expr/Makefile.am | |
parent | 7b8531e83dd4c95a5b0eaa4927da5228c6942b7c (diff) |
Move function definitions from kind.h to kind.cpp (#217)
Diffstat (limited to 'src/expr/Makefile.am')
-rw-r--r-- | src/expr/Makefile.am | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index 2400468a2..06a252b3c 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -67,6 +67,7 @@ libexpr_la_SOURCES = \ nodist_libexpr_la_SOURCES = \ kind.h \ + kind.cpp \ metakind.h \ type_properties.h \ expr.h \ @@ -83,6 +84,7 @@ EXTRA_DIST = \ datatype.i \ emptyset.i \ kind_template.h \ + kind_template.cpp \ metakind_template.h \ type_properties_template.h \ expr_manager_template.h \ @@ -105,6 +107,7 @@ EXTRA_DIST = \ BUILT_SOURCES = \ kind.h \ + kind.cpp \ metakind.h \ type_properties.h \ expr.h \ @@ -116,6 +119,7 @@ BUILT_SOURCES = \ CLEANFILES = \ kind.h \ + kind.cpp \ metakind.h \ expr.h \ expr.cpp \ @@ -142,6 +146,14 @@ kind.h: kind_template.h mkkind @top_builddir@/src/expr/.subdirs $(if $(COVERAGE_ `cat @top_builddir@/src/expr/.subdirs` \ > $@) || (rm -f $@ && exit 1) +kind.cpp: kind_template.cpp mkkind @top_builddir@/src/expr/.subdirs $(if $(COVERAGE_ON), @abs_top_srcdir@, @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 \ + $< \ + `cat @top_builddir@/src/expr/.subdirs` \ + > $@) || (rm -f $@ && exit 1) + metakind.h: metakind_template.h mkmetakind @top_builddir@/src/expr/.subdirs $(if $(COVERAGE_ON), @abs_top_srcdir@, @top_srcdir@)/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mkmetakind $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true |