diff options
Diffstat (limited to 'src/parser/Makefile.am')
| -rw-r--r-- | src/parser/Makefile.am | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index b1f265b56..51a833c26 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -30,13 +30,13 @@ libcvc4parser_la_LINK = $(CXXLINK) libcvc4parser_noinst_la_LDFLAGS = $(ANTLR_LDFLAGS) libcvc4parser_noinst_la_LIBADD = \ @builddir@/smt/libparsersmt.la \ - @builddir@/smt2/libparsersmt2.la \ - @builddir@/cvc/libparsercvc.la + @builddir@/smt2/libparsersmt2.la \ + @builddir@/../lib/libreplacements.la libcvc4parser_la_SOURCES = libcvc4parser_noinst_la_SOURCES = \ - antlr_input.h \ - antlr_input.cpp \ + antlr_input.h \ + antlr_input.cpp \ antlr_input_imports.cpp \ bounded_token_buffer.h \ bounded_token_buffer.cpp \ @@ -46,10 +46,10 @@ libcvc4parser_noinst_la_SOURCES = \ input.cpp \ memory_mapped_input_buffer.h \ memory_mapped_input_buffer.cpp \ - parser.h \ - parser.cpp \ - parser_builder.h \ - parser_builder.cpp \ - parser_options.h \ - parser_exception.h + parser.h \ + parser.cpp \ + parser_builder.h \ + parser_builder.cpp \ + parser_options.h \ + parser_exception.h |