On Wed, 11 Mar 2009 08:40:33 +0100
David Rajchenbach-Teller <David.Teller@ens-lyon.org> wrote:

> I'm using ocamldoc, as I need a custom generator.
> 
> I've considered using ocamldoc.opt to generate the n first dumps and I
> may do this, if I find out how to get OCamlBuild to do this. However,
> the last load already takes something like 8 minutes, so that would not
> solve all issues.

Ok. So you may be happy to learn that I just added the -g and -i options to
ocamldoc.opt in the trunk of ocaml repostiory (available within some
hours). You may give it a try and see if it reduces the computation to an
acceptable duration.

Regards,

-- 
Maxence Guesdon                           http://yquem.inria.fr/~guesdon/
Service Expérimentation et Développements https://devel.inria.fr/rocq/
INRIA Paris-Rocquencourt                  http://www.inria.fr/rocquencourt/