From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 22 Feb 2006 22:58:13 +0000 (+0000)
Subject: - ensure simplify_deps exists when invoked
X-Git-Tag: 0.4.95@7852~1633
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=da659039ed0176fa65d12db8dd4e5051d4b56c42;p=helm.git

- ensure simplify_deps exists when invoked
- added a SIMPLIFYDEPS variable to change its location
---

diff --git a/components/Makefile b/components/Makefile
index 718c14b91..686fa74d7 100644
--- a/components/Makefile
+++ b/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