X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.common.in;h=47d02bb42867c70452ca921eb451bf96ff4d26f6;hb=cd5aa8d01a0f2db4bf19ce6d5e7a2c7a411438a9;hp=42015d622c7869c5eb815da053fcef4f3038af49;hpb=34320b90dd8eff0a3e14e2f15b8e3de59c49b9b4;p=helm.git

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 42015d622..47d02bb42 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -40,6 +40,12 @@ opt: $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE_OPT)
 depend: $(DEPEND_FILES)
 	$(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
 
+$(PACKAGE).ps: .dep.dot
+	dot -Tps -o $@ $<
+
+.dep.dot: .depend
+	ocamldot < .depend > $@
+
 .SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .mly
 .ml.cmo:
 	$(OCAMLC) -c $<