[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug in gpq-query startup on Linux
From: |
Ludovic Brenta |
Subject: |
Re: bug in gpq-query startup on Linux |
Date: |
Thu, 13 Feb 2020 19:26:14 +0100 |
Le 2020-02-13 02:38, Stephen Leake a écrit :
There's a bug gpq-query startup on Linux; here's a patch:
diff --git a/gpr-query.el b/gpr-query.el
index 0785c251..ea642d3d 100644
--- a/gpr-query.el
+++ b/gpr-query.el
@@ -146,7 +146,7 @@ Must match gpr_query.adb Version.")
(defun gpr-query--start-process (project session)
"Start the session process running gpr_query."
- (unless (locate-file gpr-query-exec exec-path '(".exe"))
+ (unless (locate-file gpr-query-exec exec-path '("" ".exe"))
(user-error "'%s' not found on PATH" gpr-query-exec))
(unless (buffer-live-p (gpr-query--session-buffer session))
Thanks but this patch doesn't apply on 7.0.1; I have:
(defun gpr-query--start-process (project session) ;;; and this is line
81, not 147
"Start the session process running gpr_query."
(unless (buffer-live-p (gpr-query--session-buffer session))
;; user may have killed buffer
(setf (gpr-query--session-buffer session)
(gnat-run-buffer project (gnat-compiler-run-buffer-name
(wisi-prj-xref project))))
(with-current-buffer (gpr-query--session-buffer session)
I'm amending the patch so that it applies. I'll report back
tomorrow.
--
Ludovic Brenta.