From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA10356 for caml-redistribution; Thu, 2 Dec 1999 08:54:32 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA23971 for ; Tue, 30 Nov 1999 09:40:34 +0100 (MET) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA11513 for ; Tue, 30 Nov 1999 09:40:32 +0100 (MET) Received: from pc89.lri.fr (pc89.lri.fr [129.175.8.108]) by ext.lri.fr (8.9.3/jtpda-5.3.2) with ESMTP id JAA01333 ; Tue, 30 Nov 1999 09:40:22 +0100 (MET) Received: by pc89.lri.fr (8.8.7/feuille) id JAA17953 ; Tue, 30 Nov 1999 09:40:29 +0100 X-Authentication-Warning: pc89.lri.fr: filliatr set sender to filliatr@pc89.lri.fr using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14403.36221.667460.878730@pc89.lri.fr> Date: Tue, 30 Nov 1999 09:40:29 +0100 (MET) To: Trevor Jim Cc: caml-list@inria.fr Subject: Re: ocamldot for ocaml-2.04 In-Reply-To: References: X-Mailer: VM 6.49 under Emacs 20.3.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Sender: weis > 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