]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.common.in
Added the new target $(PACKAGE).ps to draw the dependency graph of the
[helm.git] / helm / ocaml / Makefile.common.in
index 42015d622c7869c5eb815da053fcef4f3038af49..47d02bb42867c70452ca921eb451bf96ff4d26f6 100644 (file)
@@ -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 $<