X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=f3d8b3232ad8e33d4e84f8c98851de01ee8d8a01;hb=a4ba77d9df157e443e6fb39dc7376996faea9973;hp=9b90b999771b145f9e18838334231824b762a2f0;hpb=5a35a42e23b2f343f0241eeb6648bf05f31720db;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 9b90b9997..f3d8b3232 100644
--- 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
@@ -41,7 +41,8 @@ LDWS := $(shell find -name "*.ldw.xml")
 TBLS := $(shell find -name "*.tbl")
 
 all:
-	../../matitac.opt
+	@echo "  MATITAC $(PACKAGES)"
+	$(H)../../matitac.opt $(PACKAGES)
 
 # MAS ########################################################################
 
@@ -51,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)"