ASIS for gnat GPL 2017

ASIS for gnat GPL 2017

[s]

My gnat 2017 installs on macos does not appear to include ASIS. Nor have i been able to download from the adacore site.

I am hoping to find a solution that is usable in macos and linux. pointers appreciated.

thanks, srini

Re: ASIS for gnat GPL 2017

[Mark Lorenzen]

On Friday, December 22, 2017 at 5:15:39 AM UTC+1, R Srinivasan wrote:
> My gnat 2017 installs on macos does not appear to include ASIS. Nor have i been able to download from the adacore site.
> 
> I am hoping to find a solution that is usable in macos and linux. pointers appreciated.
> 
> thanks, srini

I think AdaCore is phasing out support for ASIS as they migrate to libadalang instead, but I'm not absolutely sure.

https://github.com/AdaCore/libadalang

https://github.com/AdaCore/libadalang-tools

http://blog.adacore.com/cross-referencing-ada-with-libadalang

Regards,

Mark L

Re: ASIS for gnat GPL 2017

[J-P. Rosen]

Le 22/12/2017 à 09:28, Mark Lorenzen a écrit :
> I think AdaCore is phasing out support for ASIS as they migrate to
> libadalang instead, but I'm not absolutely sure.

It is the official line of the party, however I think they won't do that
until libadalang gets sufficiently stable to allow all their current
ASIS tools to migrate - and my gut feeling is that it won't happen
shortly. I've also heard rumors that they would build an ASIS layer on
top of libadalang - quite sensible to maintain compatibility.


-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

Re: ASIS for gnat GPL 2017

[Simon Wright]

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.

Re: ASIS for gnat GPL 2017

[R Srinivasan]

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