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

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