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 #       echo -e "$< preamble.ma \npreamble.ma" > depends
   8         ../../../matitac.opt -dump $@ $< 2>/dev/null
   9         ../../../matitadep.opt
  10         ../../../matitac.opt $@
  11
  12 $(DIR) all: $(MAS)
  13         ../../../matitac
  14 $(DIR).opt opt all.opt: $(MAS)
  15         ../../../matitac.opt
  16 clean:
  17         ../../../matitaclean
  18         rm -f $(MAS)
  19 clean.opt:
  20         ../../../matitaclean.opt
  21         rm -f $(MAS)
  22 depend:
  23         ../../../matitadep
  24 depend.opt:
  25         ../../../matitadep.opt
  26
  27 include xdepend