source: vis_dev/glu-2.3/src/cmuBdd/cmuBdd.make

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

library glu 2.3
File size: 386 bytes
Line 
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.