Paolo Giarrusso (Jul 07 2020 at 08:13): Paolo Giarrusso (Jul 07 2020 at 08:13):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...
Karl Palmskog (Jul 07 2020 at 08:16):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