diff options
Diffstat (limited to 'coq/coq-compile-common.el')
| -rw-r--r-- | coq/coq-compile-common.el | 8 |
1 files changed, 8 insertions, 0 deletions
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 |