1dddmp_sources = dddmp/dddmp.h dddmp/dddmpInt.h \
2  dddmp/dddmpBinary.c dddmp/dddmpConvert.c dddmp/dddmpDbg.c \
3  dddmp/dddmpLoad.c dddmp/dddmpLoadCnf.c dddmp/dddmpNodeAdd.c \
4  dddmp/dddmpNodeBdd.c dddmp/dddmpNodeCnf.c dddmp/dddmpStoreAdd.c \
5  dddmp/dddmpStoreBdd.c dddmp/dddmpStoreCnf.c dddmp/dddmpStoreMisc.c \
6  dddmp/dddmpUtil.c
7
8if DDDMP
9cudd_libcudd_la_SOURCES += $(dddmp_sources)
10else
11noinst_LTLIBRARIES += dddmp/libdddmp.la
12dddmp_libdddmp_la_SOURCES = $(dddmp_sources)
13dddmp_libdddmp_la_CPPFLAGS = -I$(top_srcdir)/util -I$(top_srcdir)/mtr \
14  -I$(top_srcdir)/epd -I$(top_srcdir)/cudd -I$(top_srcdir)/st
15endif !DDDMP
16
17check_PROGRAMS += dddmp/testdddmp
18dddmp_testdddmp_SOURCES = dddmp/testdddmp.c
19if DDDMP
20dddmp_testdddmp_CPPFLAGS = $(cudd_libcudd_la_CPPFLAGS)
21dddmp_testdddmp_LDADD =
22else
23dddmp_testdddmp_CPPFLAGS = $(dddmp_libdddmp_la_CPPFLAGS)
24dddmp_testdddmp_LDADD = dddmp/libdddmp.la
25endif !DDDMP
26dddmp_testdddmp_LDADD += cudd/libcudd.la
27
28check_SCRIPTS += dddmp/test_dddmp.test
29if !CROSS_COMPILING
30TESTS += dddmp/test_dddmp.test
31endif !CROSS_COMPILING
32EXTRA_DIST += dddmp/README.dddmp dddmp/README.testdddmp dddmp/RELEASE_NOTES \
33  dddmp/doc dddmp/test_dddmp.test.in dddmp/exp/test1.sh.in \
34  dddmp/exp/test2.sh.in dddmp/exp/test3.sh.in dddmp/exp/test4.sh.in \
35  dddmp/exp/test5.sh.in dddmp/exp/test6.sh.in dddmp/exp/test7.sh.in \
36  dddmp/exp/0.add dddmp/exp/0.bdd dddmp/exp/0or1.bdd dddmp/exp/1.add \
37  dddmp/exp/1.bdd dddmp/exp/2and3.bdd dddmp/exp/2.bdd dddmp/exp/3.bdd \
38  dddmp/exp/4.bdd dddmp/exp/4.bdd.bis1 dddmp/exp/4.bdd.bis2 \
39  dddmp/exp/4.bdd.bis3 dddmp/exp/4.bdd.bis4 dddmp/exp/4bis.bdd dddmp/exp/4.cnf \
40  dddmp/exp/4.cnf.bis dddmp/exp/4.max1 dddmp/exp/4.max2 dddmp/exp/4xor5.bdd \
41  dddmp/exp/5.bdd dddmp/exp/composeids.txt dddmp/exp/one.bdd \
42  dddmp/exp/s27deltaDddmp1.bdd dddmp/exp/s27deltaDddmp1.bdd.bis \
43  dddmp/exp/s27deltaDddmp2.bdd dddmp/exp/s27RP1.bdd dddmp/exp/varauxids.ord \
44  dddmp/exp/varnames.ord dddmp/exp/zero.bdd
45
46dddmp/test_dddmp.test: dddmp/test_dddmp.test.in Makefile
47	$(do_subst) $< > $@
48	chmod +x $@
49
50CLEANFILES +=  dddmp/exp/test1.sh dddmp/exp/test2.sh dddmp/exp/test3.sh \
51  dddmp/exp/test4.sh dddmp/exp/test5.sh dddmp/exp/test6.sh dddmp/exp/test7.sh
52