X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flimits%2FMakefile;h=c5a88d11057233844fc11861b4c142a9952bb3ae;hb=a8cd6cc85182245df447a21caf16b6503fa4b3e5;hp=a3e89143506b5e74e97ef05225367a52b12bf772;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/contribs/limits/Makefile b/matita/matita/contribs/limits/Makefile
index a3e891435..c5a88d110 100644
--- a/matita/matita/contribs/limits/Makefile
+++ b/matita/matita/contribs/limits/Makefile
@@ -1,16 +1,30 @@
-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) < $< > $@