matita/matita/contribs/limits/Makefile

   1 H    := @
   2
   3 ALPHA_DIR ?= $(HOME)/mps/ocamlbuild/alpha
   4 ALPHA      = alpha.native
   5
   6 MATITAC = ../../matitac.opt
   7
   8 PRB_DIR      := ../../../components/binaries/probe
   9 PRB          := probe.native
  10 PRB_OPTS     := ../../matita.conf.xml -g -i
  11
  12 AMAS = $(wildcard *.ama)
  13
  14 all: $(AMAS:%.ama=%.ma)
  15         @$(MATITAC)
  16
  17 clean:
  18         $(H)$(RM) *~
  19
  20 clean_all: clean
  21         $(H)$(RM) $(AMAS:%.ama=%.ma)
  22
  23 probe:
  24         @echo PROBE .
  25         $(H)$(PRB_DIR)/$(PRB) $(PRB_OPTS) .
  26
  27 .PHONY: all clean clean_all probe
  28
  29 %.ma: %.ama
  30         $(H)$(ALPHA_DIR)/$(ALPHA) < $< > $@