X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2FMakefile;h=686fa74d71ed14bd79a7c20a384ac64a698ff111;hb=c0bc1be19b2bb2c5e3dd7f68880b26990b932118;hp=718c14b911537694710a3f5df227ae3c54bcabfc;hpb=72f320a93d61e186ca54de33bb2435e7e19171b7;p=helm.git

diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile
index 718c14b91..686fa74d7 100644
--- a/helm/software/components/Makefile
+++ b/helm/software/components/Makefile
@@ -78,12 +78,16 @@ distclean: clean clean_metas
 METAS/META.helm-%: METAS/meta.helm-%.src
 	cp $< $@ && echo "directory=\"$(shell pwd)/$*\"" >> $@
 
+SIMPLIFYDEPS = ../daemons/graphs/tools/simplify_deps/simplify_deps
+$(SIMPLIFYDEPS):
+	$(MAKE) -C $(dir $(SIMPLIFYDEPS))
+
 .PHONY: .dep.dot
-.dep.dot:
+.dep.dot: $(SIMPLIFYDEPS)
 	echo "digraph G {" > $@
 	echo "   rankdir = TB ;" >> $@
 	for i in $(MODULES); do $(OCAMLFIND) query helm-$$i -recursive -p-format | grep helm | sed "s/^helm-/ \"$$i\" -> \"/g" | sed "s/$$/\";/g" >> $@ ; done
-	mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
+	mv $@ $@.old ; $(SIMPLIFYDEPS) < $@.old > $@ ; rm $@.old
 	echo "}" >> $@
 
 .PHONY: .alldep.dot