From: Patrick Noffke <patrick.noffke@gmail.com>
Subject: Re: Some questions about GPS
Date: Thu, 26 Jul 2018 06:33:08 -0700 (PDT)
Date: 2018-07-26T06:33:08-07:00 [thread overview]
Message-ID: <ea9a6886-0615-4e8d-8fe8-48af7e81f3ff@googlegroups.com> (raw)
In-Reply-To: <4168fe08-6d06-4779-937a-b6acbfca1d68@googlegroups.com>
On Tuesday, July 24, 2018 at 3:01:10 PM UTC-5, Ian Douglas wrote:
> FWIW, I tried to update to 2018 version of GPS but it fails to compile. (It is marked "unstable" in Gentoo, despite being "recommended" version".)
>
You can download prebuilt binaries of the 2018 Community Edition from here:
https://www.adacore.com/download
The gnat-community-2018-20180528-x86_64-linux-bin installer includes GPS.
Regards,
Patrick
next prev parent reply other threads:[~2018-07-26 13:33 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-07-23 18:26 Some questions about GPS Ian Douglas
2018-07-23 19:01 ` Jacob Sparre Andersen
2018-07-23 20:17 ` Ian Douglas
2018-07-23 19:02 ` Dmitry A. Kazakov
2018-07-23 19:09 ` Niklas Holsti
2018-07-23 21:10 ` Jeffrey R. Carter
2018-07-24 20:01 ` Ian Douglas
2018-07-26 13:33 ` Patrick Noffke [this message]
2018-07-27 10:03 ` Ian Douglas
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox