Ssreflect Users Discussion List

[JÓNATAN HERAS VICENTE <>]

Thanks for the answer.
Jónathan
________________________________________
De: Enrico Tassi []
Enviado: lunes, 18 de marzo de 2013 19:58
Para: 
Asunto: Re: Generating file dependency graph

On Mon, Mar 18, 2013 at 06:11:28PM +0100, Jónathan Heras wrote:
> I have seen that I should use the dot language from
> graphviz; but, I don't know how to generate the dot
> file from the dependency file created using coqdep.

Indeed we use a tool developed by Loic Pottier and Laurent Théry.
It has to be compile with: ocamlc -o makedot -pp camlp4o dependtodot.ml
It has to be called like: makedot depend (depend being the file of the
dependencies). The file is in attachment.

Regards
--
Enrico Tassi