updated web site

[helm.git] / matita / matita / contribs / limits / Makefile

diff --git a/matita/matita/contribs/limits/Makefile b/matita/matita/contribs/limits/Makefile
index a3e89143506b5e74e97ef05225367a52b12bf772..c5a88d11057233844fc11861b4c142a9952bb3ae 100644 (file)
--- 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) < $< > $@