]> matita.cs.unibo.it Git - helm.git/commitdiff
- ensure simplify_deps exists when invoked
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 22:58:13 +0000 (22:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 22:58:13 +0000 (22:58 +0000)
- added a SIMPLIFYDEPS variable to change its location

components/Makefile

index 718c14b911537694710a3f5df227ae3c54bcabfc..686fa74d71ed14bd79a7c20a384ac64a698ff111 100644 (file)
@@ -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