+ALPHA_DIR ?= $(HOME)/mps/ocamlbuild/alpha
+ALPHA = alpha.native
+
+MATITAC = ../../matitac.opt
+
+PRB_DIR := ../../../components/binaries/probe
+PRB := probe.native
+PRB_OPTS := ../../matita.conf.xml -g -i
+
+AMAS = $(wildcard *.ama)
+
+all: $(AMAS:%.ama=%.ma)
+ @$(MATITAC)