source: vis_dev/cusp-1.1/src/sat/sat.make @ 31

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

cusp added

File size: 86 bytes
RevLine 
[12]1CSRC += varelim.c distill.c sat.c util.c
2HEADERS += sat.h
3DEPENDENCYFILES = $(CSRC)
Note: See TracBrowser for help on using the repository browser.