1CSRC += cuddAPI.c cuddAddAbs.c cuddAddApply.c cuddAddFind.c cuddAddIte.c \ 2 cuddAddInv.c cuddAddNeg.c cuddAddWalsh.c cuddAndAbs.c \ 3 cuddAnneal.c cuddApa.c cuddApprox.c cuddBddAbs.c cuddBddCorr.c\ 4 cuddBddIte.c cuddBridge.c cuddCache.c cuddCheck.c cuddClip.c \ 5 cuddCof.c cuddCompose.c cuddDecomp.c cuddEssent.c cuddExact.c \ 6 cuddExport.c cuddGenCof.c cuddGenetic.c \ 7 cuddGroup.c cuddHarwell.c cuddInit.c cuddInteract.c \ 8 cuddLCache.c cuddLevelQ.c \ 9 cuddLinear.c cuddLiteral.c cuddMatMult.c cuddPriority.c \ 10 cuddRead.c cuddRef.c cuddReorder.c cuddSat.c cuddSign.c \ 11 cuddSolve.c cuddSplit.c cuddSubsetHB.c cuddSubsetSP.c cuddSymmetry.c \ 12 cuddTable.c cuddUtil.c cuddWindow.c cuddZddCount.c cuddZddFuncs.c \ 13 cuddZddGroup.c cuddZddIsop.c cuddZddLin.c cuddZddMisc.c cuddZddPort.c \ 14 cuddZddReord.c cuddZddSetop.c cuddZddSymm.c cuddZddUtil.c 15 16HEADERS += cudd.h cuddInt.h 17MISC += testcudd.c r7x8.1.mat doc/cudd.ps doc/cuddAllAbs.html doc/cuddAllDet.html \ 18 doc/cuddExtAbs.html doc/cuddExtDet.html doc/cuddIntro.css \ 19 doc/cuddIntro.html doc/footnode.html doc/img1.gif doc/img2.gif \ 20 doc/img3.gif doc/img4.gif doc/img5.gif doc/index.html \ 21 doc/node1.html doc/node2.html doc/node3.html doc/node4.html \ 22 doc/node5.html doc/node6.html doc/node7.html doc/node8.html \ 23 doc/icons/change_begin.gif \ 24 doc/icons/change_delete.gif \ 25 doc/icons/change_end.gif \ 26 doc/icons/contents_motif.gif \ 27 doc/icons/cross_ref_motif.gif \ 28 doc/icons/foot_motif.gif \ 29 doc/icons/image.gif \ 30 doc/icons/index_motif.gif \ 31 doc/icons/next_group_motif.gif \ 32 doc/icons/next_group_motif_gr.gif \ 33 doc/icons/next_motif.gif \ 34 doc/icons/next_motif_gr.gif \ 35 doc/icons/previous_group_motif.gif \ 36 doc/icons/previous_group_motif_gr.gif \ 37 doc/icons/previous_motif.gif \ 38 doc/icons/previous_motif_gr.gif \ 39 doc/icons/up_motif.gif \ 40 doc/icons/up_motif_gr.gif 41 42DEPENDENCYFILES = $(CSRC) 43