Makefile.am 966 Bytes
Newer Older
1

2
3
include_HEADERS = bdd.h fdd.h bvec.h

4
5
6
7
8
BUDDY_FLAGS = -I$(top_builddir) -DVERSION=23 \
  -fvisibility=hidden -DBUDDY_DLL_EXPORTS -DBUDDY_DLL

# Compile the C++ part of the library with
# -fvisibility-inlines-hidden, this option is not valid for C.
9
lib_LTLIBRARIES = libbdd.la
10
11
12
13
14
15
16
17
18
19
20
libbdd_la_CPPFLAGS = $(BUDDY_FLAGS) -fvisibility-inlines-hidden
libbdd_la_SOURCES = cppext.cxx
libbdd_la_LIBADD = libbdd_c.la
# See the `Updating version info' node of the Libtool manual before
# changing this.
libbdd_la_LDFLAGS = -no-undefined -version-info 0:0:0

# The C part of the library.
noinst_LTLIBRARIES = libbdd_c.la
libbdd_c_la_CPPFLAGS = $(BUDDY_FLAGS)
libbdd_c_la_SOURCES = \
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
 bddio.c \
 bddop.c \
 bddtree.h \
 bvec.c \
 cache.c \
 cache.h \
 fdd.c \
 imatrix.c \
 imatrix.h \
 kernel.c \
 kernel.h \
 pairs.c \
 prime.c \
 prime.h \
 reorder.c \
 tree.c

check_PROGRAMS = bddtest
bddtest_SOURCES = bddtest.cxx
40
bddtest_CPPFLAGS = -I$(top_builddir)
41
bddtest_LDADD = ./libbdd.la