diff options
Diffstat (limited to 'coq/coq-par-compile.el')
| -rw-r--r-- | coq/coq-par-compile.el | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 4ed4c2f8..56539414 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -1367,6 +1367,14 @@ does the error checking/reporting for (coq-compile-error (coq-par-emergency-cleanup) (message "%s %s" (get (car err) 'error-message) (cdr err))) + (coq-unclassifiable-version + (coq-par-emergency-cleanup) + (if (equal (cdr err) "trunkk") + (message + (concat "your Coq version \"trunk\" is too unspecific for " + "Proof General; please customize coq-pinned-version")) + (message "%s \"%s\"; consider customizing coq-pinned-version" + (get (car err) 'error-message) (cdr err)))) (error (message "unexpected error during parallel compilation: %s" err) |