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 XMAS = Base-2/theory.ma pippo
  10
  11 %.ma: %.mma
  12         $(H)../../matitac.opt $(MATITAOPTIONS) `../../matitadep.opt -stdout $<` 2> /dev/null
  13         $(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null
  14         $(H)$(MAKE) --no-print-directory depend.opt
  15
  16 $(DIR) all: $(MAS)
  17         $(H)$(MAKE) --no-print-directory depend.full
  18         $(H)../../matitac $(MATITAOPTIONS) 2> /dev/null
  19 $(DIR).opt opt all.opt: $(MAS)
  20         $(H)$(MAKE) --no-print-directory depend.full.opt
  21         $(H)../../matitac.opt $(MATITAOPTIONS) 2> /dev/null
  22 clean:
  23         $(H)../../matitaclean
  24         $(H)rm -f $(MAS)
  25         $(H)$(MAKE) --no-print-directory depend
  26 clean.opt:
  27         $(H)../../matitaclean.opt
  28         $(H)rm -f $(MAS)
  29         $(H)$(MAKE) --no-print-directory depend.opt
  30 clean.ma:
  31         $(H)../../matitaclean.opt $(MAS)
  32         $(H)rm -f $(MAS)
  33         $(H)$(MAKE) --no-print-directory depend.opt
  34
  35 depend:
  36         @echo matitadep
  37         $(H)../../matitadep $(foreach FILE,$(XMAS),-exclude $(FILE))
  38         $(H)cat Base-2/depends >> depends
  39 depend.opt:
  40         @echo matitadep.opt
  41         $(H)../../matitadep.opt $(foreach FILE,$(XMAS),-exclude $(FILE))
  42         $(H)cat Base-2/depends >> depends
  43 depend.full:
  44         @echo matitadep
  45         $(H)../../matitadep
  46         $(H)cat Base-2/depends >> depends
  47 depend.full.opt:
  48         @echo matitadep.opt
  49         $(H)../../matitadep.opt
  50         $(H)cat Base-2/depends >> depends
  51
  52 include Base-2/.depend