Stream: Coq devs & plugin devs

Topic: How to pass jobs to test-suite build


view this post on Zulip Ali Caglayan (Aug 09 2021 at 16:56):

I am unable to pass the number of jobs to Makefile.dune when building the test-suite. It seems to default at about 2. Can/should we fix this easily?

view this post on Zulip Gaëtan Gilbert (Aug 09 2021 at 17:00):

merge https://github.com/coq/coq/pull/14625, then stop using Makefile.dune for the test suite

view this post on Zulip Gaëtan Gilbert (Aug 09 2021 at 17:00):

alternatively setting the env variable NJOBS should work


Last updated: Oct 15 2021 at 21:02 UTC