ada-mode-users
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]