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 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 clean:
  21         $(H)$(BIN)matitaclean $(MATITAOPTIONS)
  22         $(H)$(RM) $(MAS)
  23 clean.opt:
  24         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
  25         $(H)$(RM) $(MAS)
  26 depend:
  27         $$(H)(BIN)matitadep $(MATITAOPTIONS)
  28 depend.opt:
  29         $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
  30
  31 ifneq ($(strip $(MAS)),)
  32 clean.ma:
  33         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
  34         $(H)$(RM) $(MAS)
  35 else
  36 clean.ma:
  37         $(H)echo no files to clean
  38 endif