Pierre Courtieu <pierre.court...@gmail.com> writes:
> I think there are people using it but I suspect it is only by lack of _
> CoqProject file.
I don't quite understand, how is a missing _CoqProject file
connected with using sequential compilation?
> Do we support vio compilation?
No, see the other thread.
> If we do I guess the parallel and non blocking compilation becomes
> much less important. So if you think about removing some part you may
I only see a 2-3 fold speed increase with -quick. Compilation
times will still be substantial. I really believe we should keep
the parallel compilation and discontinue the sequential one.
ProofGeneral-devel mailing list