diff options
Diffstat (limited to 'src/parser/Makefile.am')
| -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 |