helm/software/matita/contribs/LOGIC/Makefile

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