# 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