matita/matita/contribs/POPLmark/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
  15 depend.opt:
  16         $(BIN)matitadep.opt