-include ../Makefile.defs
+H := @
-DIR=$(shell basename $$PWD)
+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)
-$(DIR) all:
- $(BIN)matitac
-$(DIR).opt opt all.opt:
- $(BIN)matitac.opt
clean:
- $(BIN)matitaclean
-clean.opt:
- $(BIN)matitaclean.opt
-depend:
- $(BIN)matitadep
-depend.opt:
- $(BIN)matitadep.opt
+ $(H)$(RM) *~
+
+clean_all: clean
+ $(H)$(RM) $(AMAS:%.ama=%.ma)
+
+probe:
+ @echo PROBE .
+ $(H)$(PRB_DIR)/$(PRB) $(PRB_OPTS) .
+
+.PHONY: all clean clean_all probe
+
+%.ma: %.ama
+ $(H)$(ALPHA_DIR)/$(ALPHA) < $< > $@