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

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