helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/Makefile

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