X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=18258ae90f58fc3b40363b67afe490d5c62547fa;hb=dec157aae89a4c1830f18eeb0b4152c8c5162ca7;hp=9bf98bda69a602f276e40b3d71689d60cd2ee8e9;hpb=9ffbf46176fb5f81768255992e46e69689663d69;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 9bf98bda6..18258ae90 100644
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -14,8 +14,10 @@ XOA2_CONF    := ground_2/xoa2.conf.xml
 XOA2_TARGETS := ground_2/xoa2_notation.ma ground_2/xoa2.ma
 XOA2_OPTS    := ../../matita.conf.xml $(XOA2_CONF)
 
+DEP_INPUT    := .depend
 DEP_DIR      := ../../../components/binaries/matitadep
 DEP          := matitadep.native
+DEP_OPTS     :=
 
 MAC_DIR      := ../../../components/binaries/mac
 MAC          := mac.native
@@ -28,7 +30,7 @@ PRB_OPTS     := $(XOA_OPTS) -g
 ORIG         := . ./orig.sh 
 ORIGS        := basic_2/basic_1.orig
 
-TAGS := all xoa xoa2 orig elim deps top stats tbls trim
+TAGS := all xoa xoa2 orig elim deps top leaf stats tbls trim
 
 PACKAGES := ground_2 basic_2 apps_2
 
@@ -83,17 +85,29 @@ orig: $(ORIGS)
 	@echo "  ORIG basic_2"
 	$(H)$(ORIG) basic_2 < $<
 
+# dep input ##################################################################
+
+$(DEP_INPUT): $(MAS)
+	@echo "  GREP include"
+	$(H)grep "include \"" $^ > $(DEP_INPUT)
+
 # dep ########################################################################
 
-deps: $(DEP_DIR)/$(DEP)
-	@echo "  MATITADEP"
-	$(H)grep "include \"" $(MAS) | $<
+deps: $(DEP_INPUT)
+	@echo "  MATITADEP -c"
+	$(H)$(DEP_DIR)/$(DEP) -c $(DEP_OPTS) < $<
 
 # top ########################################################################
 
-top: $(DEP_DIR)/$(DEP)
+top: $(DEP_INPUT)
 	@echo "  MATITADEP -t"
-	$(H)grep "include \"" $(MAS) | $< -t
+	$(H)$(DEP_DIR)/$(DEP) -t $(DEP_OPTS) < $<
+
+# leaf #######################################################################
+
+leaf: $(DEP_INPUT)
+	@echo "  MATITADEP -l"
+	$(H)$(DEP_DIR)/$(DEP) -l $(DEP_OPTS) < $<
 
 # stats ######################################################################