From 221b68de1a06c0833fb91e26f27721e8f928d45c Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 16 Dec 2020 23:21:39 +0100
Subject: ensure vo compilation for tests, increase parallelism, more config
 output

---
 ci/compile-tests/cct-lib.el | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'ci')

diff --git a/ci/compile-tests/cct-lib.el b/ci/compile-tests/cct-lib.el
index 4b25956f..2685d9ae 100644
--- a/ci/compile-tests/cct-lib.el
+++ b/ci/compile-tests/cct-lib.el
@@ -223,6 +223,13 @@ or changed since recording the time in the association."
         proof-auto-action-when-deactivating-scripting 'retract
         proof-three-window-enable nil
         coq-compile-auto-save 'save-coq
-        coq--debug-auto-compilation nil))
+        coq--debug-auto-compilation nil
+        )
+  (custom-set-variables '(coq-compile-quick 'ensure-vo))
+  (when (< coq--internal-max-jobs 4)
+    (custom-set-variables '(coq-max-background-compilation-jobs 4)))
+  (message "config coq-max-background-compilation-jobs: %s (means %d)"
+           coq-max-background-compilation-jobs
+           coq--internal-max-jobs))
 
 (provide 'cct-lib)
-- 
cgit v1.2.3