ensure vo compilation for tests, increase parallelism, more config output

1 files changed, 8 insertions, 1 deletions

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)