helm/software/matita/contribs/LAMBDA-TYPES/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 $< 2> /dev/null
   8         ../../matitac.opt -dump $@ $< 2> /dev/null
   9         $(MAKE) depend.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 Base-2/depends_mma >> depends
  26 depend.opt:
  27         ../../matitadep.opt
  28         cat Base-2/depends_mma >> depends
  29
  30 include Base-2/.depend