helm/software/matita/contribs/character/Makefile

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