blob: 5a788f2bfa6a73183cebb5203c55b8e792202dc7 (
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
|
# LIBCVC4BINDINGS_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
#
LIBCVC4BINDINGS_VERSION = @CVC4_BINDINGS_LIBRARY_VERSION@
AM_CPPFLAGS = \
-D__BUILDING_CVC4BINDINGSLIB \
-I@builddir@/../../.. -I@srcdir@/../../../include -I@srcdir@/../../..
AM_CXXFLAGS = -Wall -Wno-return-type
lib_LTLIBRARIES =
if CVC4_LANGUAGE_BINDING_C
lib_LTLIBRARIES += libcvc4bindings_c_compat.la
libcvc4bindings_c_compat_la_LDFLAGS = \
-version-info $(LIBCVC4BINDINGS_VERSION)
libcvc4bindings_c_compat_la_LIBADD = \
-L@builddir@/../../../compat -lcvc4compat \
-L@builddir@/../../.. -lcvc4
endif
libcvc4bindings_c_compat_la_SOURCES = \
c_interface_defs.h \
c_interface.h \
c_interface.cpp
|
