Dear Coq developers and contributors,
I'm about to merge PR (when CI passes one last time)
[build] Use dune to build OCaml code. by ejgallego · Pull Request #13617 · coq/coq · GitHub "Use dune to build OCaml code".
This means that from now on, Dune (>= 2.5.1) becomes mandatory for
building Coq (though Dune >= 2.8.5 is recommended).
We still have two build systems at this point: one that uses Dune only
to build OCaml code and one that uses Dune for the entire build
(including Coq files).
A major change for the legacy build system is that build outputs for
Coq files (vo and friends) are now stored into a _build_vo/ directory,
which means that the build becomes mostly hygienic. One major
consequence is that in principle, you should be able to switch between
the dev modes of the two build systems (./configure -profile devel &&
make -j4 and make -f Makefile.dune world) without having to call make
clean or git clean anymore. If you have leftover compiled files from a
previous non-hygienic compilation, it's probably a good idea to call
git clean (with the usual caution regarding the use of this command).
I also recommend activating the Dune cache, as you should notice
significant compilation speed thanks to it. To do it, just add (cache
enabled) to your dune configuration file (mine is in
Please open issues if you encounter any bug. Do not hesitate to ask
for help on Zulip or by replying to this message if you need some.