[Cocci] Addition of source code documentation generation to the build system?

Julia Lawall julia.lawall at lip6.fr
Mon Mar 4 14:09:46 CET 2013

On Mon, 4 Mar 2013, SF Markus Elfring wrote:

> > On the other hand, I'm not sure what the purpose of all of this is.
> I hope to achieve a better understanding for your software by the presentation
> style from the tool "ocamldoc". (It supports also to generate Graphviz files.)
> > If it is only to be able to write ocaml code that processes the C abstract
> > syntax tree, then it should be enough to consider the files in the
> > parser_c directory.  These are however the ones where there is a risk of a
> > missing mli file.
> I guess that it is still a configuration challenge to set some variables in a
> way so that all dependencies like needed modules can be resolved for the
> documentation.

It seems like a separate issue.  With the proper -I arguments, which you
can get from the makefile of the parser_c directory, ocamldoc should be
able to figure things out for itself, assuming make depend has been run


More information about the Cocci mailing list