From d9cb50d8f9b2bb16ddf7c27c146e09d7de33b90f Mon Sep 17 00:00:00 2001 From: Gaëtan Gilbert Date: Tue, 13 Feb 2018 15:51:25 +0100 Subject: coqdev.el: wait for 'compile to touch compilation-error-regexp-alist (and alist-alist) --- dev/tools/coqdev.el | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'dev/tools') diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el index 4252458cd..8c55be283 100644 --- a/dev/tools/coqdev.el +++ b/dev/tools/coqdev.el @@ -92,14 +92,15 @@ Note that this function is executed before _Coqproject is read if it exists." ;; buffer. (defvar compilation-error-regexp-alist-alist) (defvar compilation-error-regexp-alist) -(add-to-list - 'compilation-error-regexp-alist-alist - '(coq-backtrace - "^ *\\(?:raise\\|frame\\) @ file \\(\"?\\)\\([^,\" \n\t<>]+\\)\\1,\ +(with-eval-after-load 'compile + (add-to-list + 'compilation-error-regexp-alist-alist + '(coq-backtrace + "^ *\\(?:raise\\|frame\\) @ file \\(\"?\\)\\([^,\" \n\t<>]+\\)\\1,\ lines? \\([0-9]+\\)-?\\([0-9]+\\)?\\(?:$\\|,\ \\(?: characters? \\([0-9]+\\)-?\\([0-9]+\\)?:?\\)?\\)" - 2 (3 . 4) (5 . 6))) -(add-to-list 'compilation-error-regexp-alist 'coq-backtrace) + 2 (3 . 4) (5 . 6))) + (add-to-list 'compilation-error-regexp-alist 'coq-backtrace)) (provide 'coqdev) ;;; coqdev ends here -- cgit v1.2.3