Can I run build multiple Coq projects with dune in parallel? IIRC @Emilio Jesús Gallego Arias said somewhere it’s not supported yet, but I’d like to know better...
you can define several
dune files in subdirectories with the same parent directory. To my knowledge, these will then be built in parallel if you do
dune build from the parent. But please ask for details in the "Dune devs & users" stream
Last updated: Sep 30 2023 at 06:01 UTC