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

   1 include ../Makefile.defs
   2
   3 DIR=$(shell basename $$PWD)
   4
   5 H=@
   6
   7 MATITAOPTIONS=$(MATITAUSEROPTIONS) -onepass
   8
   9 LOG = log.txt
  10
  11 DEVELS = Legacy-2 Base-2 LambdaDelta-2
  12
  13 MAS = $(shell find $(DEVELS) -mindepth 2 -name "*.ma")
  14
  15 $(DIR) all:
  16         $(H)$(RM) $(LOG)
  17         $(H)$(BIN)matitac $(MATITAOPTIONS) 2>> $(LOG)
  18 $(DIR).opt opt all.opt:
  19         $(H)$(RM) $(LOG)
  20         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
  21 clean:
  22         $(H)$(BIN)matitaclean $(MATITAOPTIONS)
  23         $(H)$(RM) $(MAS)
  24 clean.opt:
  25         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
  26         $(H)$(RM) $(MAS)
  27 depend:
  28         $$(H)(BIN)matitadep $(MATITAOPTIONS)
  29 depend.opt:
  30         $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
  31
  32 ifneq ($(strip $(MAS)),)
  33 clean.ma:
  34         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
  35         $(H)$(RM) $(MAS)
  36 else
  37 clean.ma:
  38         $(H)echo no files to clean
  39 endif