From f9138553b5fc6fcddc7748c3eb18527773406cc9 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 26 Oct 2016 23:11:47 +0200 Subject: 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) --- coq/coq-par-compile.el | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'coq/coq-par-compile.el') 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) -- cgit v1.2.3