matita/contribs/LAMBDA-TYPES/Base-2/makefile

   1 H=@
   2
   3 RT_BASEDIR=../../../
   4 OPTIONS=-bench
   5 MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
   6 CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS)
   7 MMAKEO=$(RT_BASEDIR)matitamake.opt $(OPTIONS)
   8 CLEANO=$(RT_BASEDIR)matitaclean.opt $(OPTIONS)
   9
  10 devel:=$(shell basename `pwd`)
  11
  12 ifneq "$(SRC)" ""
  13   XXX="SRC=$(SRC)"
  14 endif
  15
  16 all: build_mas preall
  17         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
  18 clean: clean_mas preall
  19         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) clean $(devel)
  20 cleanall: clean_mas preall
  21         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEAN) all
  22
  23 all.opt opt: build_mas preall.opt
  24         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
  25 clean.opt: clean_mas preall.opt
  26         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
  27 cleanall.opt: clean_mas preall.opt
  28         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all
  29
  30 mas: preall
  31         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
  32 mas.opt: preall.opt
  33         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
  34
  35 %.mo: preall
  36         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
  37 %.mo.opt: preall.opt
  38         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
  39
  40 preall:
  41         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)
  42
  43 preall.opt:
  44         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) init $(devel)
  45
  46 # FG: added part ############################################################
  47
  48 MATITAC = $(RT_BASEDIR)/matitac.opt
  49
  50 MMAS = $(shell find -name "*.mma")
  51 MAS = $(MMAS:%.mma=%.ma)
  52
  53 build_mas: preall.opt theory.ma
  54
  55 clean_mas:
  56         $(H)rm -f $(MAS)
  57
  58 %.ma: %.mma
  59         $(H)$(MATITAC) -dump $@ $< $(OPTIONS)
  60         $(MAKE) preall.opt
  61
  62 include depend
  63
  64 .DELETE_ON_ERROR: