From 13139e0353d702392cf2d6987abfc226bc4214b2 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 24 Apr 2018 16:21:33 +0200
Subject: coqdev.el: add bug-reference-mode variables

---
 dev/tools/coqdev.el | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'dev')

diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el
index 62fdaec802..9dd12087a6 100644
--- a/dev/tools/coqdev.el
+++ b/dev/tools/coqdev.el
@@ -103,5 +103,17 @@ Note that this function is executed before _Coqproject is read if it exists."
      2 (3 . 4) (5 . 6)))
   (add-to-list 'compilation-error-regexp-alist 'coq-backtrace))
 
+(defvar bug-reference-bug-regexp)
+(defvar bug-reference-url-format)
+(defun coqdev-setup-bug-reference-mode ()
+  "Setup `bug-reference-bug-regexp' and `bug-reference-url-format' for Coq.
+
+This does not enable `bug-reference-mode'."
+  (let ((dir (coqdev-default-directory)))
+    (when dir
+      (setq-local bug-reference-bug-regexp "#\\(?2:[0-9]+\\)")
+      (setq-local bug-reference-url-format "https://github.com/coq/coq/issues/%s"))))
+(add-hook 'hack-local-variables-hook #'coqdev-setup-bug-reference-mode)
+
 (provide 'coqdev)
 ;;; coqdev ends here
-- 
cgit v1.2.3