- second precommit for rtmap

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

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index cdd4f35b6cde395d7b79f8f4caca4e3703ae89ad..f3d8b3232ad8e33d4e84f8c98851de01ee8d8a01 100644 (file)
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -25,7 +25,7 @@ MAC_OPTS     :=
 
 PRB_DIR      := ../../../components/binaries/probe
 PRB          := probe.native
-PRB_OPTS     := $(XOA_OPTS) -g 
+PRB_OPTS     := $(XOA_OPTS) -g -i
 
 ORIG         := . ./orig.sh 
 ORIGS        := basic_2/basic_1.orig
@@ -40,6 +40,10 @@ XPACKAGES := ground_2 basic_2
 LDWS := $(shell find -name "*.ldw.xml")
 TBLS := $(shell find -name "*.tbl")
 
+all:
+       @echo "  MATITAC $(PACKAGES)"
+       $(H)../../matitac.opt $(PACKAGES)
+
 # MAS ########################################################################
 
 define MAS_TEMPLATE
@@ -48,7 +52,7 @@ define MAS_TEMPLATE
 
 $(1)/$(1)_probe.txt: $$(MAS_$(1))
        @echo "  PROBE $(1)"
-       $$(H)$$(PRB_DIR)/$$(PRB) $$(PRB_OPTS) $(1) -sn -on -i > $$@
+       $$(H)$$(PRB_DIR)/$$(PRB) $$(PRB_OPTS) $(1) -sn -on -c > $$@
 
 $(1)/$(1)_mac.txt: $$(MAS_$(1))
        @echo "  MAC $(1)"
@@ -57,10 +61,6 @@ endef
 
 $(foreach PKG, $(PACKAGES), $(eval $(call MAS_TEMPLATE,$(PKG))))
 
-all:
-       @echo "  MATITAC $(PACKAGES)"
-       $(H)../../matitac.opt $(MAS)
-
 # XMAS #######################################################################
 
 define XMAS_TEMPLATE