diff options
Diffstat (limited to 'src/expr/Makefile.am')
| -rw-r--r-- | src/expr/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index a75b97b74..27c64e9ef 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -24,7 +24,11 @@ libexpr_la_SOURCES = \ command.h \ command.cpp -EXTRA_DIST = @srcdir@/kind.h kind_prologue.h kind_middle.h kind_epilogue.h +EXTRA_DIST = \ + @srcdir@/kind.h \ + kind_prologue.h \ + kind_middle.h \ + kind_epilogue.h @srcdir@/kind.h: @srcdir@/mkkind kind_prologue.h kind_middle.h kind_epilogue.h @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds chmod +x @srcdir@/mkkind |