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: Jan 29 2023 at 06:02 UTC