diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-11-24 12:21:06 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-11-29 23:49:20 +0100 |
| commit | f158ae23977cfb40a4a2f7a0db123940f59768f8 (patch) | |
| tree | 250251cc926db14ba8f0b2379f30cbfda96e8dbe /coq/coq-par-test.el | |
| parent | 6be1cced12f8e9de9724a73b8b0fb29440cad3dc (diff) | |
8.4 compatibility for quick support
8.4 compatibility is done by ignoring all quick settings for
`coq-compile-quick' via a :set function. This does only work if
this variable is only changed via the customization system and
not directly via setq.
Diffstat (limited to 'coq/coq-par-test.el')
| -rw-r--r-- | coq/coq-par-test.el | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/coq/coq-par-test.el b/coq/coq-par-test.el index 1ce85d0d..c2d3bc9e 100644 --- a/coq/coq-par-test.el +++ b/coq/coq-par-test.el @@ -752,13 +752,22 @@ relative ages.") ;; a variant is a list of 4 elements (assert (eq (length variant) 4) nil (concat test-id " 2")) (let ((files (coq-par-test-flatten-files (car test))) + (quick-mode (car variant)) (compilation-result (nth 1 variant)) (delete-result (nth 2 variant)) (req-obj-result (nth 3 variant))) ;; the delete field, when set, must be a member of the files list (assert (or (not delete-result) (member delete-result files)) - nil (concat test-id " 3")))) + nil (concat test-id " 3")) + ;; 8.4 compatibility check + (when (and (or (eq quick-mode 'no-quick) (eq quick-mode 'ensure-vo)) + (not (member 'vio files))) + (assert (not delete-result) + nil (concat test-id " 4")) + (assert (eq compilation-result + (not (eq (car (last (car test))) 'vo))) + nil (concat test-id " 5"))))) (cdr test)))) coq-par-job-needs-compilation-tests)) |