The Coq mailing list

[Ralph Matthes <Ralph.Matthes AT irit.fr>]

Dear Coq users who compile the sources,

Is it standard practice to compile the Coq sources via option -j in make
world? I find nothing on this in the documentation, installation
instructions, FAQ, Cocorico or Coq-Club. I could find the bug #1729, but
it does not tell me about current practice. (I see that this compile
option is suggested for compiling CompCert, but I do not see it for Coq
itself.)

I have tried to use -j many times, and it hardly ever went to my full
satisfaction. Normally, I have to continue with ordinary make world
after failure of the parallel one (I still save compile time with this
procedure). My last try was today with 8.3pl4.

Is there something I should know? I certainly cannot speak of a bug here
since this parallel compilation is nowhere described.

Yours sincerely,    Ralph Matthes