[Cocci] Addition of source code documentation generation to the build system?
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
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