matita/matita/contribs/dama/dama/Makefile

   1 include ../../Makefile.defs
   2
   3 DIR=$(shell basename $$PWD)
   4
   5 $(DIR) all:
   6         $(BIN)../matitac
   7 $(DIR).opt opt all.opt:
   8         $(BIN)../matitac.opt
   9 clean:
  10         $(BIN)../matitaclean
  11 clean.opt:
  12         $(BIN)../matitaclean.opt
  13 depend:
  14         $(BIN)../matitadep -dot && rm depends.dot
  15 depend.opt:
  16         $(BIN)../matitadep.opt -dot && rm depends.dot