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.

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to