Dune is used by a few of our dependencies and is slated as the future build tool a lot of Ocaml & Coq projects to use. After a bit of experimentation there are a few annoyances for us:
Some of our dependencies use dune already, but some don't. The ones that don't have to be patched to use Dune. Since we are currently using git submodules, we either have to fork the repositories to hold our patches, or keep the patches in silveroak and apply them via makefile. The preferable option would be to merge dune build files upstream.
Haskell is understandably not handled by dune. Currently we rely on Haskell for Cava extraction, although this could change in the future.
Dune is used by a few of our dependencies and is slated as the future build tool a lot of Ocaml & Coq projects to use. After a bit of experimentation there are a few annoyances for us: