From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Jun 2003 13:44:53 +0000 (+0000)
Subject: Added the new target $(PACKAGE).ps to draw the dependency graph of the
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=cd5aa8d01a0f2db4bf19ce6d5e7a2c7a411438a9

Added the new target $(PACKAGE).ps to draw the dependency graph of the
package.
---

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 $<