blob: 1c2998e94e52ad4f8493d395ef4afe007bf75d0c (
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
|
# LIBCVC4COMPAT_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
#
LIBCVC4COMPAT_VERSION = @CVC4_COMPAT_LIBRARY_VERSION@
AM_CPPFLAGS = \
-D__BUILDING_CVC4COMPATLIB \
-I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. $(ANTLR_INCLUDES)
AM_CXXFLAGS = -Wall -Wno-unknown-pragmas
if CVC4_BUILD_LIBCOMPAT
lib_LTLIBRARIES = libcvc4compat.la
if HAVE_CXXTESTGEN
check_LTLIBRARIES = libcvc4compat_noinst.la
endif
libcvc4compat_la_LDFLAGS = \
-version-info $(LIBCVC4COMPAT_VERSION)
libcvc4compat_noinst_la_LDFLAGS =
libcvc4compat_la_LIBADD = \
-L@builddir@/.. -lcvc4 \
-L@builddir@/../parser -lcvc4parser
libcvc4compat_noinst_la_LIBADD = \
-L@builddir@/.. -lcvc4 \
-L@builddir@/../parser -lcvc4parser
if CVC4_NEEDS_REPLACEMENT_FUNCTIONS
libcvc4compat_la_LIBADD += \
@builddir@/../lib/libreplacements.la
libcvc4compat_noinst_la_LIBADD += \
@builddir@/../lib/libreplacements.la
endif
libcvc4compat_la_SOURCES = \
cvc3_compat.h \
cvc3_compat.cpp
libcvc4compat_la_CXXFLAGS = -fno-strict-aliasing
libcvc4compat_noinst_la_SOURCES = \
cvc3_compat.h \
cvc3_compat.cpp
libcvc4compat_noinst_la_CXXFLAGS = -fno-strict-aliasing
else
EXTRA_DIST = \
cvc3_kinds.h \
cvc3_compat.h \
cvc3_compat.cpp
endif
|