diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/compile-tests/cct-lib.el | 9 |
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) |