From f158ae23977cfb40a4a2f7a0db123940f59768f8 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Thu, 24 Nov 2016 12:21:06 +0100 Subject: 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. --- coq/coq-par-test.el | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'coq/coq-par-test.el') 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)) -- cgit v1.2.3