Makefile.am 1.09 KB
Newer Older
1
include_HEADERS = bddx.h fddx.h bvecx.h
2

3
BUDDY_FLAGS = -I$(top_builddir) -DVERSION=23 -DBUDDY_DLL_EXPORTS -DBUDDY_DLL
4

5
lib_LTLIBRARIES = libbddx.la
6
7
# See the `Updating version info' node of the Libtool manual before
# changing this.
8
libbddx_la_LDFLAGS = -no-undefined -version-info 0:0:0 $(SYMBOLIC_LDFLAGS)
9
10
libbddx_la_CPPFLAGS = $(BUDDY_FLAGS)
libbddx_la_SOURCES = \
11
12
13
14
15
16
 bddio.c \
 bddop.c \
 bddtree.h \
 bvec.c \
 cache.c \
 cache.h \
17
 cppext.cxx \
18
19
20
21
22
23
24
25
26
27
28
29
30
 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
31
bddtest_CPPFLAGS = -I$(top_builddir)
32
bddtest_LDADD = ./libbddx.la
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47


EXTRA_DIST = $(srcdir)/libbddx.pc.in
pkgconfigdir = $(libdir)/pkgconfig
nodist_pkgconfig_DATA = libbddx.pc

libbddx.pc: $(srcdir)/libbddx.pc.in
	sed -e 's![@]prefix[@]!$(prefix)!g' \
	    -e 's![@]exec_prefix[@]!$(exec_prefix)!g' \
	    -e 's![@]includedir[@]!$(includedir)!g' \
	    -e 's![@]libdir[@]!$(libdir)!g' \
	    -e 's![@]PACKAGE_VERSION[@]!$(PACKAGE_VERSION)!g' \
	$(srcdir)/libbddx.pc.in > $@

DISTCLEANFILES = libbddx.pc