blob: f1802c6c57f55787f8798430b26297b58d235247 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
# 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@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. $(ANTLR_INCLUDES)
AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
SUBDIRS = smt smt2 cvc
nobase_lib_LTLIBRARIES = libcvc4parser.la
if HAVE_CXXTESTGEN
noinst_LTLIBRARIES = libcvc4parser_noinst.la
endif
libcvc4parser_la_LDFLAGS = $(ANTLR_LDFLAGS) \
-version-info $(LIBCVC4PARSER_VERSION)
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 = \
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_exception.h \
antlr_tracing.h
libcvc4parser_noinst_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_exception.h \
antlr_tracing.h
EXTRA_DIST = \
Makefile.antlr_tracing
|
