matita/matita/library/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 -dot
  13 depend.opt:
  14         ../matitadep.opt -dot
  15
  16 %.mo:
  17         ../matitac $*.ma
  18 %.mo.opt:
  19         ../matitac.opt $*.ma