diff options
Diffstat (limited to 'src/expr/Makefile.am')
| -rw-r--r-- | src/expr/Makefile.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index 738604f90..03de15706 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -52,7 +52,13 @@ EXTRA_DIST = \ type_checker_template.cpp \ mkkind \ mkmetakind \ - mkexpr + mkexpr \ + expr_manager.i \ + declaration_scope.i \ + command.i \ + type.i \ + kind.i \ + expr.i BUILT_SOURCES = \ kind.h \ |