diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-02-13 15:51:25 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-02-13 15:51:25 +0100 |
| commit | d9cb50d8f9b2bb16ddf7c27c146e09d7de33b90f (patch) | |
| tree | edd0e0928e69801830aedb6f5e7dfd6938dfc429 /dev/tools | |
| parent | d5c771138a3b2ce753f458396d82eef9a4557e20 (diff) | |
coqdev.el: wait for 'compile to touch compilation-error-regexp-alist
(and alist-alist)
Diffstat (limited to 'dev/tools')
| -rw-r--r-- | dev/tools/coqdev.el | 13 |
1 files changed, 7 insertions, 6 deletions
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 |