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 OPTIONS =
  12
  13 LOG = log.txt
  14
  15 MMAS = $(shell find -name "*.mma")
  16 MAS = $(MMAS:%.mma=%.ma)
  17
  18 $(DIR) all:
  19         $(H)$(RM) $(LOG)
  20         $(H)$(BIN)matitac $(MATITAOPTIONS) 2>> $(LOG)
  21 $(DIR).opt opt all.opt:
  22         $(H)$(RM) $(LOG)
  23         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
  24 clean:
  25         $(H)$(BIN)matitaclean $(MATITAOPTIONS)
  26         $(H)$(RM) $(MAS)
  27 clean.opt:
  28         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
  29         $(H)$(RM) $(MAS)
  30 depend:
  31         $(H)(BIN)matitadep $(MATITAOPTIONS)
  32 depend.opt:
  33         $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
  34
  35 ifneq ($(strip $(MAS)),)
  36 clean.ma:
  37         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
  38         $(H)$(RM) $(MAS)
  39 else
  40 clean.ma:
  41         $(H)echo no files to clean
  42 endif
  43
  44 mma: $(DEVEL).conf.xml clean.ma
  45         $(H)$(TRANSCRIPT) $(OPTIONS) -C $(BIN) $(DEVEL)