helm/software/matita/contribs/procedural/Makefile.common

   1 BIN = ../../../
   2
   3 DIR = $(shell basename $$PWD)
   4
   5 H = @
   6
   7 TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
   8
   9 LOG = log.txt
  10
  11 MMAS = $(shell find -name "*.mma")
  12 MAS = $(MMAS:%.mma=%.ma)
  13
  14 $(DIR) all:
  15         $(H)$(RM) $(LOG)
  16         $(H)$(BIN)matitac $(MATITAOPTIONS) 2>> $(LOG)
  17 $(DIR).opt opt all.opt:
  18         $(H)$(RM) $(LOG)
  19         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
  20
  21 %.ma:
  22         $(H)$(RM) $(LOG)
  23         $(H)$(BIN)matitac $(MATITAOPTIONS) $*.mma 2>> $(LOG)
  24 %.mo:
  25         $(H)$(RM) $(LOG)
  26         $(H)$(BIN)matitac $(MATITAOPTIONS) $*.ma 2>> $(LOG)
  27 %.ma.opt:
  28         $(H)$(RM) $(LOG)
  29         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.mma 2>> $(LOG)
  30 %.mo.opt:
  31         $(H)$(RM) $(LOG)
  32         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.ma 2>> $(LOG)
  33
  34 clean:
  35         $(H)$(BIN)matitaclean $(MATITAOPTIONS)
  36         $(H)$(RM) $(MAS)
  37 clean.opt:
  38         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
  39         $(H)$(RM) $(MAS)
  40 depend:
  41         $(H)(BIN)matitadep $(MATITAOPTIONS)
  42 depend.opt:
  43         $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
  44
  45 ifneq ($(strip $(MAS)),)
  46 clean.ma:
  47         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
  48         $(H)$(RM) $(MAS)
  49 else
  50 clean.ma:
  51         $(H)echo no files to clean
  52 endif
  53
  54 mma: $(DEVEL).conf.xml clean.ma
  55         $(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $(DEVEL)
  56
  57 %.ts: $(DEVEL).conf.xml
  58         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $*.ma
  59         $(H)$(RM) $*.ma
  60         $(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $* $(DEVEL)
  61