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

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

[Helmut Brandl]

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

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

[ygrek]

On Fri, 8 Sep 2017 21:02:53 -0500
Helmut Brandl <helmut.brandl@gmx.net> wrote:

> 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?

Yes, ocamlbuild can be extended to add build rules, see https://ocaml.org/learn/tutorials/ocamlbuild/Making_plugins.html
Example: https://github.com/ygrek/extunix/blob/master/myocamlbuild.ml#L920

--