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

   1 include ../../../../Makefile.defs
   2
   3 H=@
   4
   5 MATITAC = $(RT_BASE_DIR)/matitac.opt
   6
   7 MMAS = $(shell find -name "*.mma")
   8 MAS = $(MMAS:%.mma=%.ma)
   9
  10 all: OPTIONS = -bench
  11
  12 log: OPTIONS = >> tmp.txt 2>&1
  13
  14 all: $(MAS)
  15
  16 log: $(MAS)
  17         $(H)mv tmp.txt log.txt
  18
  19 clean:
  20         $(H)rm -f $(MAS)
  21
  22 %.ma: %.mma
  23         $(H)$(MATITAC) -dump $@ $< $(OPTIONS)
  24
  25 include depend
  26
  27 .DELETE_ON_ERROR: