3 ALPHA_DIR ?= $(HOME)/mps/ocamlbuild/alpha
6 MATITAC = ../../matitac.opt
8 PRB_DIR := ../../../components/binaries/probe
10 PRB_OPTS := ../../matita.conf.xml -g -i
12 AMAS = $(wildcard *.ama)
14 all: $(AMAS:%.ama=%.ma)
21 $(H)$(RM) $(AMAS:%.ama=%.ma)
25 $(H)$(PRB_DIR)/$(PRB) $(PRB_OPTS) .
27 .PHONY: all clean clean_all probe
30 $(H)$(ALPHA_DIR)/$(ALPHA) < $< > $@