Enrico Tassi (May 07 2021 at 16:03): Enrico Tassi (May 07 2021 at 16:03):I've the impression it does one file at a time (no parallelism). Am I wrong?
Enrico Tassi (May 07 2021 at 16:04):Am I supposed to pass -j N in some way?
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).
Emilio Jesús Gallego Arias (May 07 2021 at 16:07):Yes, you need to pass NJOBS=8 for example
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
Gaëtan Gilbert (May 07 2021 at 16:11):imo test-suite/dune is more confusing than useful
Gaëtan Gilbert (May 07 2021 at 16:11):currently
Last updated: Jun 05 2023 at 10:01 UTC