source: vis_dev/glu-2.1/src/cmuBdd/cmuBdd.make @ 13

Last change on this file since 13 was 8, checked in by cecile, 13 years ago

src glu

File size: 386 bytes
RevLine 
[8]1CSRC_cmu += bdd.c bdd_is_cube.c bddapply.c bddassoc.c bddblk.c bddcache.c bddcmp.c bddcomp.c bddcproject.c bdddump.c bddhash.c bddmisc.c bddprimes.c bddprint.c bddprprofile.c bddqnt.c bddreduce.c bddrelprod.c bddreorder.c bddsat.c bddsize.c bddsupport.c bddswap.c bddunique.c bddwarn.c mtbdd.c
2HEADERS_cmu += bddint.h bdduser.h
3MISC += testbdd.c bdd.3
4
5DEPENDENCYFILES = $(CSRC_cmu)
Note: See TracBrowser for help on using the repository browser.