helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/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 all: preall
  13         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
  14 clean: preall
  15         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) clean $(devel)
  16 cleanall: preall
  17         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEAN) all
  18
  19 all.opt opt: preall
  20         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
  21 clean.opt: preall
  22         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
  23 cleanall.opt: preall
  24         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all
  25
  26 %.mo: preall
  27         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
  28 %.mo.opt: preall
  29         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
  30
  31 preall:
  32         $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)
  33