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

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