diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-10-04 22:23:53 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-10-04 22:23:53 +0000 |
| commit | 5e2f381b26d683691d9a040589536dc39c5831e0 (patch) | |
| tree | 7fadaed04fa7f2954fe84efa78754a4fded30a33 /src/parser/Makefile.am | |
| parent | 1891eb9abf6e37a34c732211a8f11d08720fb2b7 (diff) | |
fix gdb issues (at least for static builds); resolves bug 194
Diffstat (limited to 'src/parser/Makefile.am')
| -rw-r--r-- | src/parser/Makefile.am | 29 |
1 files changed, 25 insertions, 4 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index dbb6e559f..0533200fa 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -24,17 +24,38 @@ noinst_LTLIBRARIES = libcvc4parser_noinst.la libcvc4parser_la_LDFLAGS = $(ANTLR_LDFLAGS) \ -version-info $(LIBCVC4PARSER_VERSION) -libcvc4parser_la_LIBADD = libcvc4parser_noinst.la -libcvc4parser_la_LINK = $(CXXLINK) - libcvc4parser_noinst_la_LDFLAGS = $(ANTLR_LDFLAGS) + +libcvc4parser_la_LIBADD = \ + @builddir@/smt/libparsersmt.la \ + @builddir@/smt2/libparsersmt2.la \ + @builddir@/cvc/libparsercvc.la \ + @builddir@/../lib/libreplacements.la libcvc4parser_noinst_la_LIBADD = \ @builddir@/smt/libparsersmt.la \ @builddir@/smt2/libparsersmt2.la \ @builddir@/cvc/libparsercvc.la \ @builddir@/../lib/libreplacements.la -libcvc4parser_la_SOURCES = +libcvc4parser_la_SOURCES = \ + antlr_input.h \ + antlr_input.cpp \ + antlr_input_imports.cpp \ + bounded_token_buffer.h \ + bounded_token_buffer.cpp \ + bounded_token_factory.h \ + bounded_token_factory.cpp \ + input.h \ + 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 + libcvc4parser_noinst_la_SOURCES = \ antlr_input.h \ antlr_input.cpp \ |