comp.lang.ada
 help / color / mirror / Atom feed
From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: GNAT versions
Date: Mon, 21 Dec 2015 08:59:10 +0100
Date: 2015-12-21T08:59:10+01:00	[thread overview]
Message-ID: <871taggrld.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: lypoy0n7t7.fsf@pushface.org

Simon Wright <simon@pushface.org> writes:
> Jacob Sparre Andersen <sparre@nbi.dk> writes:
>
>> Dmitry A. Kazakov wrote:
>>
>>> But Debian has gnat-5 already!
>>
>> And FreeBSD has GNAT 6 (gcc6-aux).  It is a bit strict about anonymous
>> access types, but it seems to work well enough.
>
> I'd've thought this was a _little_ premature!

It's easier to test it, if you have it as an easily installable package.

It seems that Debian/experimental has it too (at least as a
cross-compiler).

Greetings,

Jacob
-- 
"Those who will not reason, are bigots,
 those who cannot, are fools, and
 those who dare not, are slaves."


  reply	other threads:[~2015-12-21  7:59 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-12-19  1:44 SDLAda comicfanzine
2015-12-19 13:33 ` SDLAda Lucretia
2015-12-19 19:27   ` SDLAda comicfanzine
2015-12-19 19:43     ` SDLAda Luke A. Guest
2015-12-19 23:43 ` SDLAda Lucretia
2015-12-20 11:21   ` SDLAda Brian Drummond
2015-12-20 11:56     ` SDLAda Lucretia
2015-12-20 12:24       ` SDLAda Dmitry A. Kazakov
2015-12-20 13:25         ` SDLAda Pascal Obry
2015-12-20 20:07         ` GNAT versions (Was: SDLAda) Jacob Sparre Andersen
2015-12-20 21:12           ` GNAT versions Simon Wright
2015-12-21  7:59             ` Jacob Sparre Andersen [this message]
2015-12-26  7:18 ` SDLAda comicfanzine
2015-12-26 18:26   ` SDLAda Luke A. Guest
2015-12-27 17:53     ` SDLAda comicfanzine
2015-12-27 17:55     ` SDLAda comicfanzine
2015-12-27 19:35       ` SDLAda Luke A. Guest
2015-12-28 10:26         ` SDLAda Simon Clubley
2015-12-28 14:10           ` SDLAda Lucretia
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox