diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-28 22:32:05 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-28 22:32:05 +0000 |
| commit | 7dd2d748e358040e8001d7fb184cf9e11180e8c0 (patch) | |
| tree | 095f06703233fb629a23adfc1169be7346a220b0 /src/parser | |
| parent | 2f15e89145ad68f1809dd15abb6b659a3817b260 (diff) | |
fixes for make dist ; make install
Diffstat (limited to 'src/parser')
| -rw-r--r-- | src/parser/Makefile.am | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index aca11bbd8..4f00cfb3d 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -80,4 +80,9 @@ libcvc4parser_noinst_la_SOURCES = \ antlr_tracing.h EXTRA_DIST = \ - Makefile.antlr_tracing + Makefile.antlr_tracing \ + cvc4parser.i \ + input.i \ + parser_builder.i \ + parser_exception.i \ + parser.i |