From: R Srinivasan <s@srin.me>
Subject: Re: ASIS for gnat GPL 2017
Date: Fri, 22 Dec 2017 03:22:16 -0800 (PST)
Date: 2017-12-22T03:22:16-08:00 [thread overview]
Message-ID: <43ab938e-4296-46af-84d8-14425a7a3331@googlegroups.com> (raw)
In-Reply-To: <lyzi6bdpik.fsf@pushface.org>
On Friday, December 22, 2017 at 3:59:40 PM UTC+5:30, Simon Wright wrote:
> s@srin.me writes:
>
> > My gnat 2017 installs on macos does not appear to include ASIS. Nor
> > have i been able to download from the adacore site.
>
> On the Libre (Community Edition) download page for Mac OS X (btw, should
> be macOS now!!), at the bottom right, click on "More packages,
> platforms, versions and sources"; click on the "Sources" link under
> "GNAT GPL Ada"; asis-gpl-2017-src.tar.gz is the second source listed.
awesome. thanks, srini
prev parent reply other threads:[~2017-12-22 11:22 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-12-22 4:15 ASIS for gnat GPL 2017 s
2017-12-22 8:28 ` Mark Lorenzen
2017-12-22 9:12 ` J-P. Rosen
2017-12-22 10:29 ` Simon Wright
2017-12-22 11:22 ` R Srinivasan [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox