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