Re: Homebrew, GNAT

[Mark Lorenzen <mark.lorenzen@gmail.com>]

On Friday, June 4, 2021 at 9:38:14 AM UTC+2, Simon Wright wrote:
> Mark Lorenzen <mark.l...@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 :-) 
> 
> Remarks at [1], 
> 
> "We see a majority in favor or recommending GNAT FSF. 
> 
> "The result is less clear for the removal of GNAT community. The 
> comments along the answers show that people against this are worried 
> about the ease of use. So we are going to work on that aspect." 
> 
> "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." 
> 
> "AdaCore will continue to provide the SPARK toolset on Linux and 
> Windows. There is no runtime coming with the toolset, so no possible 
> license confusion, it's only an analysis tool!" 
> 
> [[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??]] 
> 
> and [2], 
> 
> "Most likely this version of the compiler will be the last in the 
> GNAT Community Edition release chain. In the future, the compiler 
> collected from open source GCC texts can be installed using a batch 
> manager Alire." 
> 
> [1] 
> https://www.reddit.com/r/ada/comments/j6oz6i/results_of_the_survey_on_the_future_of_gnat/ 
> [2] https://www.altusintel.com/public-yy39qc/

Thank you very much. It looks like AdaCore will provide builds of FSF GCC to distro maintainers instead of distributing GNAT as CE. That's fine - as long as I don't have to build GNAT myself from the FSF distro :-)

Regards,
Mark