]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
libraries-ext.ps generation (dep graph with daemons and clusters)
[helm.git] / helm / ocaml / Makefile.in
index aa9fb9c41a60a6201e8767f36cc7009094018f41..3dabc3ad4b99185e7ad8c0d932e04c2b532da14d 100644 (file)
@@ -87,9 +87,13 @@ METAS/META.helm-%: METAS/meta.helm-%.src
        for i in $(MODULES); do echo "\"helm-$$i\" [shape=box,style=filled,fillcolor=yellow];" >> $@ ; done
        echo "}" >> $@
 
+.extdep.dot: .dep.dot
+       ./patch_deps.sh $< $@
+
 libraries.ps: .dep.dot
        dot -Tps -o $@ $<
-
+libraries-ext.ps: .extdep.dot
+       dot -Tps -o $@ $<
 libraries-complete.ps: .alldep.dot
        dot -Tps -o $@ $<