diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-10-26 23:11:47 +0200 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-10-27 09:26:40 +0200 |
| commit | f9138553b5fc6fcddc7748c3eb18527773406cc9 (patch) | |
| tree | e322ab47e6570cceade9ddb117851a99a94ab7d8 /coq/coq-par-compile.el | |
| parent | 8a7eecfa71e850e479822d879e3263c9ce5f2ede (diff) | |
give a more helpful error message if Coq version detection fails
- coq--pre-v85 signals coq-unclassifiable-version for "Invalid
version" errors
- background compilation converts this into an even more helpful
message (fixes #70)
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) |