Stream: Coq users

Topic: dune and parallel builds

view this post on Zulip 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...

view this post on Zulip 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: Jun 18 2024 at 22:01 UTC