Why doesn't gnat-gps work under Windows 10 (Debian subsystem for Linux)?

Why doesn't gnat-gps work under Windows 10 (Debian subsystem for Linux)?

[matthewbrentmccarty]

Hi all:

I was just tinkering, but I noticed that gps doesn't work under Windows 10 -- Debian subsystem for Linux.  The compiler works on "Hello World".  Same gps software also works on my "real" Debian machine.  The error I get is raised STORAGE_ERROR : s-intman.adb:139 explicit raise

Regards,
Matthew McCarty


Log follows:

mmccarty@DESKTOP-O857MTN:~$ uname -a
Linux DESKTOP-O857MTN 4.4.0-17134-Microsoft #523-Microsoft Mon Dec 31 17:49:00 PST 2018 x86_64 GNU/Linux
mmccarty@DESKTOP-O857MTN:~$ which gnat-gps
/usr/bin/gnat-gps
mmccarty@DESKTOP-O857MTN:~$ gnat-gps

(gnat-gps:5204): GLib-GIO-CRITICAL **: g_dbus_proxy_new_sync: assertion 'G_IS_DBUS_CONNECTION (connection)' failed

(gnat-gps:5204): GLib-GIO-CRITICAL **: g_dbus_proxy_get_name_owner: assertion 'G_IS_DBUS_PROXY (proxy)' failed

raised STORAGE_ERROR : s-intman.adb:139 explicit raise
mmccarty@DESKTOP-O857MTN:~$ cd Learn/ada
mmccarty@DESKTOP-O857MTN:~/Learn/ada$ more foo.adb
with Text_Io;



procedure Foo is
begin
        Text_Io.Put_Line ("Hello!");
end Foo;

mmccarty@DESKTOP-O857MTN:~/Learn/ada$ gnat compile foo.adb
gcc-6 -c foo.adb
mmccarty@DESKTOP-O857MTN:~/Learn/ada$ gnatbind foo
mmccarty@DESKTOP-O857MTN:~/Learn/ada$ gnatlink foo
mmccarty@DESKTOP-O857MTN:~/Learn/ada$ ./foo
Hello!
mmccarty@DESKTOP-O857MTN:~/Learn/ada$

Re: Why doesn't gnat-gps work under Windows 10 (Debian subsystem for Linux)?

[Ludovic Brenta]

matthewbrentmccarty@gmail.com writes:
> Hi all:
>
> I was just tinkering, but I noticed that gps doesn't work under
> Windows 10 -- Debian subsystem for Linux.  The compiler works on
> "Hello World".  Same gps software also works on my "real" Debian
> machine.  The error I get is raised STORAGE_ERROR : s-intman.adb:139
> explicit raise
>
> Regards,
> Matthew McCarty
>
>
> Log follows:
>
> mmccarty@DESKTOP-O857MTN:~$ uname -a
> Linux DESKTOP-O857MTN 4.4.0-17134-Microsoft #523-Microsoft Mon Dec 31 17:49:00 PST 2018 x86_64 GNU/Linux
> mmccarty@DESKTOP-O857MTN:~$ which gnat-gps
> /usr/bin/gnat-gps
> mmccarty@DESKTOP-O857MTN:~$ gnat-gps
>
> (gnat-gps:5204): GLib-GIO-CRITICAL **: g_dbus_proxy_new_sync: assertion 'G_IS_DBUS_CONNECTION (connection)' failed
>
> (gnat-gps:5204): GLib-GIO-CRITICAL **: g_dbus_proxy_get_name_owner: assertion 'G_IS_DBUS_PROXY (proxy)' failed
>
> raised STORAGE_ERROR : s-intman.adb:139 explicit raise

There might be additional info in ~/.gps/log.5204 (I presume that 5204
is the process id).  The contents of your source file are probably
irrelevant.

-- 
Ludovic Brenta.
The Products Managers cross-pollinate structured, low-risk high-yield, unique and skills-based governmentalizations. 

Re: Why doesn't gnat-gps work under Windows 10 (Debian subsystem for Linux)?

[Dmitry A. Kazakov]

On 2019-03-12 21:55, Ludovic Brenta wrote:
> matthewbrentmccarty@gmail.com writes:
>> Hi all:
>>
>> I was just tinkering, but I noticed that gps doesn't work under
>> Windows 10 -- Debian subsystem for Linux.  The compiler works on
>> "Hello World".  Same gps software also works on my "real" Debian
>> machine.  The error I get is raised STORAGE_ERROR : s-intman.adb:139
>> explicit raise
>>
>> Log follows:
>>
>> mmccarty@DESKTOP-O857MTN:~$ uname -a
>> Linux DESKTOP-O857MTN 4.4.0-17134-Microsoft #523-Microsoft Mon Dec 31 17:49:00 PST 2018 x86_64 GNU/Linux
>> mmccarty@DESKTOP-O857MTN:~$ which gnat-gps
>> /usr/bin/gnat-gps
>> mmccarty@DESKTOP-O857MTN:~$ gnat-gps
>>
>> (gnat-gps:5204): GLib-GIO-CRITICAL **: g_dbus_proxy_new_sync: assertion 'G_IS_DBUS_CONNECTION (connection)' failed
>>
>> (gnat-gps:5204): GLib-GIO-CRITICAL **: g_dbus_proxy_get_name_owner: assertion 'G_IS_DBUS_PROXY (proxy)' failed
>>
>> raised STORAGE_ERROR : s-intman.adb:139 explicit raise
> 
> There might be additional info in ~/.gps/log.5204 (I presume that 5204
> is the process id).  The contents of your source file are probably
> irrelevant.

AFAIK, there is a severe bug in GNAT 8 (as well as GNAT Pro 19, though 
less frequent) related to dispatching through interfaces. The bug's 
manifestations are random body selection upon dispatch via an interface 
and infinite recursion in some operations from Ada.Tags when the 
argument is a tag taken from an interface. Since GPS uses GtkAda and 
GtkAda uses interfaces, that might be the case of Storage_Error.

P.S. So far I failed to create a sample to reproduce it. The cases I 
have a very large and not self-contained. Well, GPS is not small either.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de