Skip to content

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

DEPENDENCYFILES = $(CSRC_cu)