libraries-ext.ps generation (dep graph with daemons and clusters)

[helm.git] / helm / ocaml / Makefile.in

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 30c25dc195586c1ba0a8773d440d1c31e503f3db..3dabc3ad4b99185e7ad8c0d932e04c2b532da14d 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -14,16 +14,19 @@ MODULES =                   \
        getter                  \
        cic                     \
        cic_proof_checking      \
-       cic_unification         \
        cic_acic                \
        acic_content            \
        content_pres            \
        grafite                 \
        metadata                \
+       library                 \
+       cic_unification         \
        whelp                   \
        tactics                 \
-       cic_disambiguation      \
        paramodulation          \
+       cic_disambiguation      \
+       grafite2                \
+       grafite_parser          \
        $(NULL)
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
@@ -84,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 $@ $<