From a9e0971a39305aeccc01fdf20d9ecb71aeae6b25 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Sat, 11 Apr 2020 18:50:06 +0200
Subject: menu entry for coq-compile-vos

---
 coq/coq-abbrev.el | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index e88f9ca8..bd898a9c 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -146,7 +146,30 @@
 		   coq-compile-parallel-in-background)
       :help ,(concat "Continue background compilation after "
 		     "the first error as far as possible")]
-     ("Quick compilation"
+     ("vos compilation (coq >= 8.11)"
+      ["unset"
+       (customize-set-variable 'coq-compile-vos nil)
+       :style radio
+       :selected (eq coq-compile-vos nil)
+       :active (and coq-compile-before-require
+		    coq-compile-parallel-in-background)
+       :help "Derive behavior from Quick compilation setting above"]
+      ["use -vos"
+       (customize-set-variable 'coq-compile-vos 'vos)
+       :style radio
+       :selected (eq coq-compile-vos 'vos)
+       :active (and coq-compile-before-require
+		    coq-compile-parallel-in-background)
+       :help "Speedup with -vos, possibly inconsistent"]
+      ["ensure vo"
+       (customize-set-variable 'coq-compile-vos 'ensure-vo)
+       :style radio
+       :selected (eq coq-compile-vos 'ensure-vo)
+       :active (and coq-compile-before-require
+		    coq-compile-parallel-in-background)
+       :help "Ensure only vo's are used for consistency"]
+      )
+     ("Quick compilation (coq < 8.11)"
       ["no quick"
        (customize-set-variable 'coq-compile-quick 'no-quick)
        :style radio
-- 
cgit v1.2.3