Dune usage example

I am interested in trying to switch my Coq project to using dune as build system. The problem is I do code extraction and need to compile both Coq and extracted OCaml code. Are there examples of such dune builds? I would rather start from some working example than trying to figure it out on my own.


Hi @vzaliva , unfortunately as of today there is no proper workflow for Coq + extraction using Dune.

We plan to support this, but we are still at “design” phase; see also https://github.com/ocaml/dune/issues/2178

There are several “hacks” you could try, for example using promotion and doing a “two phase” build, that’s likely to work OK , but a bit painful as it would require two calls to dune.