Re: ocamldot for ocaml-2.04

From: Jean-Christophe Filliatre (Jean-Christophe.Filliatre@lri.fr)
Date: Tue Nov 30 1999 - 09:40:29 MET

Next message: Claudio Sacerdoti Coen: "Why is this not allowed?"
Previous message: Juergen Pfitzenmaier: "Re: Objective Label 2.04"
Next in thread: Jacques Garrigue: "Objective Label 2.04"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Tue, 30 Nov 1999 09:40:29 +0100 (MET)
To: Trevor Jim <trevor@research.att.com>
Subject: Re: ocamldot for ocaml-2.04
In-Reply-To: <u66yl3ynr.fsf@research.att.com>

> Ocamldot generates program dependency graphs for ocaml programs.
>
> The dependency graph output by ocamldot can be rendered by a separate
> program, dot. Dot is freely available from
>
> http://www.research.att.com/sw/tools/graphviz/
>
> Ocamldot is designed to process the output of ocamldep. A typical use
> would be
>
> ocamldep *.ml | ocamldot > dep.dot

An even better use is

ocamldep *.ml *.mli | ocamldot | dot -Tps | gv -

to see the dependencies, or

ocamldep *.ml *.mli | ocamldot | dot -Tps | lpr

to print them. Unix is our friend :-)

And many thanks to Jim Trevor for that really useful tool.

-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr

Next message: Claudio Sacerdoti Coen: "Why is this not allowed?"
Previous message: Juergen Pfitzenmaier: "Re: Objective Label 2.04"
Next in thread: Jacques Garrigue: "Objective Label 2.04"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:29 MET