coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coqgraph - visualize file dependencies for Coq projects [was: dependency graph (again)]

From: Hendrik Tews <tews AT os.inf.tu-dresden.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] coqgraph - visualize file dependencies for Coq projects [was: dependency graph (again)]
Date: Fri, 11 Oct 2013 13:17:29 +0200

People have asked, so I am announcing coqgraph, a simple little
tool to turn coqdep output into dot files.

license: GPL-3

download: from my software page at http://askra.de/software/

documentation, installation hints: in the source file

typical use:
coqdep -I . *v | coqgraph - | dot -Tpdf > dependencies.pdf

or

coqdep -I . *v | coqgraph - | tred | dot -Tpdf > dependencies.pdf

Bye,

Hendrik

Re: [Coq-Club] dependency graph (again), coq-club, 10/02/2013
- Re: [Coq-Club] dependency graph (again), Hendrik Tews, 10/07/2013
  - Re: [Coq-Club] dependency graph (again), Jason Gross, 10/10/2013
    - Re: [Coq-Club] dependency graph (again), Kristopher Micinski, 10/10/2013
      - [Coq-Club] coqgraph - visualize file dependencies for Coq projects [was: dependency graph (again)], Hendrik Tews, 10/11/2013