helm/software/matita/contribs/ng_TPTP/CASC_2008/Makefile

   1 BIN=../../../
   2 DIR=$(shell basename $$PWD)
   3
   4 $(DIR) all:
   5         $(BIN)matitac
   6 $(DIR).opt opt all.opt:
   7         $(BIN)matitac.opt
   8 clean:
   9         $(BIN)matitaclean
  10 clean.opt:
  11         $(BIN)matitaclean.opt
  12 depend:
  13         $(BIN)matitadep
  14 depend.opt:
  15         $(BIN)matitadep.opt