From: Simon Wright <simon@pushface.org>
Subject: Re: Homebrew, GNAT
Date: Wed, 02 Jun 2021 09:51:15 +0100 [thread overview]
Message-ID: <lyk0nczm2k.fsf@pushface.org> (raw)
In-Reply-To: 0001HW.2666F40C011A795F700009A5738F@news.individual.net
Bill Findlay <findlaybill@blueyonder.co.uk> writes:
> On 1 Jun 2021, Simon Wright wrote
> (in article <lyo8cpzhus.fsf@pushface.org>):
>
>> Simon Wright <simon@pushface.org> writes:
>>
>> > Since releasing GCC 11.1.0 for macOS (at Sourceforge and now Github[1]),
>>
>> [1] https://github.com/simonjwright/building-gcc-macos-native/releases/tag/gcc
>> -11.1.0.1
>
> Hi Simon,
>
> how does that relate to GNAT CE 2021?
> I see that AdaCore have not released a version for macOS.
No; and apparently GNAT CE 2021 is going to be the last CE release for
any target.
It is possible to build CE 2021 for macOS (I and another on the GNAT-OSX
miling list are disagreeing somewhat on how to configure for this), but
at some point we have to bite the bullet.
What I'm not sure of is gnatprove. If the compiler sources don't match
what gnatprove expects you'll get build failures or, at best, runtime
failures. And how far could you trust it even if it appeared to work?
Of course, if you need to trust it you'll be happy to pay.
next prev parent reply other threads:[~2021-06-02 8:51 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-06-01 8:04 Homebrew, GNAT Simon Wright
2021-06-01 16:10 ` Simon Wright
2021-06-01 23:02 ` Bill Findlay
2021-06-02 8:51 ` Simon Wright [this message]
2021-06-02 18:15 ` Bill Findlay
2021-06-04 5:55 ` Mark Lorenzen
2021-06-04 7:38 ` Simon Wright
2021-06-04 10:08 ` Mark Lorenzen
2021-06-04 23:10 ` Bill Findlay
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox