diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-02-09 19:20:32 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-02-09 19:20:32 +0000 |
| commit | 05fd8c08ecbe4b9056833d10b4a15061dba00a57 (patch) | |
| tree | 780b10f3b96a3c848766d4f7dbda590e352a3b30 /src/expr/Makefile.am | |
| parent | cbd51a7c0219f7ced9d48ef3810c440dda1fe8e5 (diff) | |
moving built-in kinds out of the kind.h prologue/middle for uniformity; added TUPLE built-in
Diffstat (limited to 'src/expr/Makefile.am')
| -rw-r--r-- | src/expr/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index 90ec89968..dd5b2a2f6 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -35,6 +35,7 @@ EXTRA_DIST = @srcdir@/kind.h kind_prologue.h kind_middle.h kind_epilogue.h @srcdir@/kind_prologue.h \ @srcdir@/kind_middle.h \ @srcdir@/kind_epilogue.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) |