diff options
| author | Hendrik Tews | 2017-01-14 23:27:24 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2017-01-14 23:31:01 +0100 |
| commit | 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899 (patch) | |
| tree | 44804b5266e056b900a9ecc7e03c1f5a34a89992 /coq/coq-system.el | |
| parent | 15b977ff32f6c8250d47d7657987b0c94db76710 (diff) | |
Fix prooftree for Coq 8.6
In Coq 8.6 evar status printing is off by default, causing
prooftree to crash. This patch inserts invisible commands to
switch evar status printing on and off. This is done via the
urgent-action-hook.
Diffstat (limited to 'coq/coq-system.el')
| -rw-r--r-- | coq/coq-system.el | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index 88ce06be..0b9b6c58 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -170,6 +170,18 @@ Returns nil if the version can't be detected." (signal 'coq-unclassifiable-version coq-version-to-use)) (t (signal (car err) (cdr err)))))))) +(defun coq--post-v86 () + "Return t if the auto-detected version of Coq is >= 8.6. +Return nil if the version cannot be detected." + (let ((coq-version-to-use (or (coq-version t) "8.5"))) + (condition-case err + (not (coq--version< coq-version-to-use "8.6")) + (error + (cond + ((equal (substring (cadr err) 0 15) "Invalid version") + (signal 'coq-unclassifiable-version coq-version-to-use)) + (t (signal (car err) (cdr err)))))))) + (defcustom coq-use-makefile nil "Whether to look for a Makefile to attempt to guess the command line. Set to t if you want this feature, but note that it is deprecated." |