Re: Homebrew, GNAT

[Bill Findlay <findlaybill@blueyonder.co.uk>]

On 4 Jun 2021, Simon Wright wrote
(in article <lymts69j19.fsf@pushface.org>):

> Mark Lorenzen<mark.lorenzen@gmail.com>  writes:
>
> > On Wednesday, June 2, 2021 at 10:51:19 AM UTC+2, Simon Wright wrote:
> > > No; and apparently GNAT CE 2021 is going to be the last CE release for
> > > any target.
> >
> > Why do you say that? Can you provide any sources?
>
> Of course, I may be macOS-biased here :-)

Mois aussi.
> "We don't expect anyone to build GCC/GNAT themselves, and that is why
> part of our plan is to help maintainers of OS distribution make good
> GNAT package."

Perhaps not as dire a situation as I feared?
> [[Can we run Linux apps in Docker on a Mac? looks possible, and might
> I think be an OK solution for gnatprove given the above. M1 macs??]]

I run Debian 10 in Parallels on my iMac to make Linux builds of ee9.
I hope an M? build of GNAT becomes available before the iMac croaks!

-- 
Bill Findlay