From: Simon Wright <simon@pushface.org>
Subject: Re: ASIS for gnat GPL 2017
Date: Fri, 22 Dec 2017 10:29:39 +0000
Date: 2017-12-22T10:29:39+00:00 [thread overview]
Message-ID: <lyzi6bdpik.fsf@pushface.org> (raw)
In-Reply-To: f9a26f17-18d9-4249-993e-bc7362ba2031@googlegroups.com
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.
next prev parent reply other threads:[~2017-12-22 10:29 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 [this message]
2017-12-22 11:22 ` R Srinivasan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox