source: vis_dev/vis-2.3/src/puresat/puresat.make @ 31

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

vis2.3
File size: 247 bytes
RevLine 
[14]1CSRC +=  puresatUtil.c puresatBMC.c puresatRefine.c puresat.c puresatMain.c puresatIPAbRf.c puresatAig.c puresatArosat.c puresatIPUtil.c puresatIPRefine.c puresatTFrame.c puresatFlatIP.c
2HEADERS += puresat.h puresatInt.h
3
4DEPENDENCYFILES = $(CSRC)
Note: See TracBrowser for help on using the repository browser.