From: Dennis Lee Bieber <wlfraed@ix.netcom.com>
Subject: Re: Starting learning ADA
Date: Sun, 09 Jun 2019 14:23:46 -0400
Date: 2019-06-09T14:23:46-04:00 [thread overview]
Message-ID: <l6iqfe13imnlsb9nv3fcugv4d15iq1i1du@4ax.com> (raw)
In-Reply-To: lyy32a4psj.fsf@pushface.org
On Sun, 09 Jun 2019 18:44:12 +0100, Simon Wright <simon@pushface.org>
declaimed the following:
>If you can install GNAT CE 2019 in this environment, that would probably
>work much better. And include GPS.
Which wouldn't be of much use unless one is running an X-Window server
on the Windows side (Xming or similar). The Linux SubSystem for Windows is
essentially just a BASH shell console. (Doing apt-get install gnat-gps in
the Debian SubSystem console -- installs GNAT 6.3 (or is it 6.1 -- that's
what apt-get shows) and a slew of other stuff)
wulfraed@ElusiveUnicorn:~$ gnatls -v
GNATLS 6.3.0
Copyright (C) 1997-2016, Free Software Foundation, Inc.
Source Search Path:
<Current_Directory>
/usr/lib/gcc/x86_64-linux-gnu/6/adainclude
Object Search Path:
<Current_Directory>
/usr/lib/gcc/x86_64-linux-gnu/6/adalib
Project Search Path:
<Current_Directory>
/usr/share/ada/adainclude
wulfraed@ElusiveUnicorn:~$
As expected -- no X-server
wulfraed@ElusiveUnicorn:~$ gnat-gps
Unable to init server: Could not connect: Connection refused
(gnat-gps:1985): Gtk-WARNING **: cannot open display:
wulfraed@ElusiveUnicorn:~$
If one is willing to figure out Xming, and specify the correct display
environment in the Linux SubSystem, it might work (but again -- gprbuild
seems to crash, so if GPS is expecting gpr projects rather than gnatmake,
it still won't be usable).
--
Wulfraed Dennis Lee Bieber AF6VN
wlfraed@ix.netcom.com http://wlfraed.microdiversity.freeddns.org/
next prev parent reply other threads:[~2019-06-09 18:23 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-06-08 15:26 Starting learning ADA Ricardo Brandão
2019-06-08 15:53 ` Simon Wright
2019-06-08 17:07 ` Ricardo Brandão
2019-06-09 1:42 ` Dennis Lee Bieber
2019-06-09 7:25 ` Niklas Holsti
2019-06-08 15:55 ` joakimds
2019-06-08 17:10 ` Ricardo Brandão
2019-06-08 17:46 ` joakimds
2019-06-08 20:10 ` Simon Wright
2019-06-09 14:39 ` Ricardo Brandão
2019-06-09 17:44 ` Simon Wright
2019-06-09 18:12 ` Ricardo Brandão
2019-06-09 19:29 ` Dmitry A. Kazakov
2019-06-10 17:40 ` Dennis Lee Bieber
2019-06-09 18:23 ` Dennis Lee Bieber [this message]
2019-06-09 14:31 ` Ricardo Brandão
2019-06-09 19:35 ` Dmitry A. Kazakov
2019-06-10 12:28 ` Ricardo Brandão
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox