diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-10-01 21:35:31 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-10-01 21:35:31 +0000 |
| commit | 96d1c3daff7efdd2d853864fb820bc7cf413624e (patch) | |
| tree | b995c98a2be18182d6cb52e81de5bf712b475f06 /src/parser/Makefile.am | |
| parent | d0b49d588033ab8140bdf297c9cdf73b1088fe68 (diff) | |
replacement implementation for clock_gettime() on mac os x, build portability (resolving mac os x issues), code cleanup, fix compiler warnings
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 |