[Caml-list] How to generate source files with ocamlbuild

[Helmut Brandl <helmut.brandl@gmx.net>]

Dear list,

I have a project which uses ocamlbuild to compile the program. I use the menhir parser generator. With menhir there are no problems since ocambuild ‘knows’ that files with the name ‘*.mly’ are parser files and it generates the sources in the sudirectory ‘_build’ before calling the compiler.

Now I want to use coq to verify the critical part of my project and generate ocaml source files with coq. Is there a simple way to tell ocamlbuild that it has to use coq and some ‘*.v’ files to generate ocaml source files before calling the compiler?

Kind regards
Helmut