Stream: Coq devs & plugin devs

Topic: Is the test suite slower with dune?


view this post on Zulip Enrico Tassi (May 07 2021 at 16:03):

I've the impression it does one file at a time (no parallelism). Am I wrong?

view this post on Zulip Enrico Tassi (May 07 2021 at 16:04):

Am I supposed to pass -j N in some way?

view this post on Zulip Théo Zimmermann (May 07 2021 at 16:05):

I wouldn't be surprised by this. Note that until the test-suite is Dunerized, I tend to prefer running make -C test-suite (it was made compatible with a Dune-based build and allows for incremental retries).

view this post on Zulip Emilio Jesús Gallego Arias (May 07 2021 at 16:07):

Yes, you need to pass NJOBS=8 for example

view this post on Zulip Emilio Jesús Gallego Arias (May 07 2021 at 16:08):

it will be fixed when we finish https://github.com/coq/coq/pull/13364

view this post on Zulip Gaëtan Gilbert (May 07 2021 at 16:11):

imo test-suite/dune is more confusing than useful

view this post on Zulip Gaëtan Gilbert (May 07 2021 at 16:11):

currently


Last updated: Oct 15 2021 at 19:03 UTC