diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-19 14:45:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-19 14:45:42 -0700 |
commit | ce8c429281fd1f7e4ac4d2b7133152c1d370df0c (patch) | |
tree | 407400e728621cc9a5262e7112a93bd6acd0835a /src/parser/Makefile.am | |
parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) |
Remove autotools build system. (#2639)
Diffstat (limited to 'src/parser/Makefile.am')
-rw-r--r-- | src/parser/Makefile.am | 76 |
1 files changed, 0 insertions, 76 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am deleted file mode 100644 index 98b98ccaf..000000000 --- a/src/parser/Makefile.am +++ /dev/null @@ -1,76 +0,0 @@ -# LIBCVC4PARSER_VERSION (-version-info) is in the form current:revision:age -# -# current - -# increment if interfaces have been added, removed or changed -# revision - -# increment if source code has changed -# set to zero if current is incremented -# age - -# increment if interfaces have been added -# set to zero if interfaces have been removed -# or changed -# -LIBCVC4PARSER_VERSION = @CVC4_PARSER_LIBRARY_VERSION@ - -AM_CPPFLAGS = \ - -D__BUILDING_CVC4PARSERLIB \ - -I@builddir@/.. $(ANTLR_INCLUDES) -I@srcdir@/../include -I@srcdir@/.. -AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) - -SUBDIRS = smt1 smt2 cvc tptp - -lib_LTLIBRARIES = libcvc4parser.la - -libcvc4parser_la_LDFLAGS = \ - $(ANTLR_LDFLAGS) \ - -no-undefined \ - -version-info $(LIBCVC4PARSER_VERSION) - -if CVC4_WINDOWS_BUILD -# -Wl,--export-all-symbols makes sure that all symbols are exported when -# building a DLL. This option is on by default but gets disabled for the parser -# library because the generated lexer/parser files define some functions as -# __declspec(dllexport), which leads to lots of unresolved symbols when linking -# against libcvc4parser. -libcvc4parser_la_LDFLAGS += -Wl,--export-all-symbols -endif - -libcvc4parser_la_LIBADD = \ - @builddir@/smt1/libparsersmt1.la \ - @builddir@/smt2/libparsersmt2.la \ - @builddir@/tptp/libparsertptp.la \ - @builddir@/cvc/libparsercvc.la \ - @builddir@/../libcvc4.la \ - @builddir@/../lib/libreplacements.la - -libcvc4parser_la_SOURCES = \ - antlr_input.cpp \ - antlr_input.h \ - antlr_input_imports.cpp \ - antlr_line_buffered_input.cpp \ - antlr_line_buffered_input.h \ - antlr_tracing.h \ - antlr_undefines.h \ - bounded_token_buffer.cpp \ - bounded_token_buffer.h \ - bounded_token_factory.cpp \ - bounded_token_factory.h \ - input.cpp \ - input.h \ - line_buffer.cpp \ - line_buffer.h \ - memory_mapped_input_buffer.cpp \ - memory_mapped_input_buffer.h \ - parser.cpp \ - parser.h \ - parser_builder.cpp \ - parser_builder.h \ - parser_exception.h - -EXTRA_DIST = \ - Makefile.antlr_tracing \ - cvc4parser.i \ - input.i \ - parser_builder.i \ - parser_exception.i \ - parser.i |