From fb178a6313132024c13f27865f97e090466058e3 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Thu, 24 Nov 2016 19:45:11 +0100 Subject: delay vio2vo compilation ... to make it less likely people run into the library inconsistency issue with vio2vo --- coq/coq-compile-common.el | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'coq/coq-compile-common.el') diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el index 3522a8f0..57581af3 100644 --- a/coq/coq-compile-common.el +++ b/coq/coq-compile-common.el @@ -275,6 +275,14 @@ percentage of `coq-max-background-compilation-jobs'." :set 'coq-max-vio2vo-setter :group 'coq-auto-compile) +(defcustom coq-compile-vio2vo-delay 2.5 + "Delay in seconds for the vio2vo compilation. +This delay helps to avoid running into a library inconsistency +with 'quick-and-vio2vo, see Coq issue #5223." + :type 'number + :safe 'numberp + :group 'coq-auto-compile) + (defcustom coq-compile-command "" "External compilation command. If empty ProofGeneral compiles itself. If unset (the empty string) ProofGeneral computes the dependencies of -- cgit v1.2.3