helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile

   1 DIR=$(shell basename $$PWD)
   2
   3 MMAS = $(shell find -name "*.mma")
   4 MAS = $(MMAS:%.mma=%.ma)
   5
   6 %.ma: %.mma
   7         ../../../matitac.opt -dump $@ $< 2>/dev/null
   8         $(MAKE) depend.opt
   9         ../../../matitac.opt $@
  10
  11 $(DIR) all: $(MAS)
  12         ../../../matitac
  13 $(DIR).opt opt all.opt: $(MAS)
  14         ../../../matitac.opt
  15 clean:
  16         ../../../matitaclean
  17         rm -f $(MAS)
  18         $(MAKE) depend
  19 clean.opt:
  20         ../../../matitaclean.opt
  21         rm -f $(MAS)
  22         $(MAKE) depend.opt
  23 depend:
  24         ../../../matitadep
  25         cat depends_mma >> depends
  26 depend.opt:
  27         ../../../matitadep.opt
  28         cat depends_mma >> depends
  29
  30 include .depend