From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:ac8:5ccb:: with SMTP id s11mr3865258qta.122.1622801296600; Fri, 04 Jun 2021 03:08:16 -0700 (PDT) X-Received: by 2002:a25:cb48:: with SMTP id b69mr4088398ybg.173.1622801296405; Fri, 04 Jun 2021 03:08:16 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!news.dns-netz.com!news.freedyn.net!newsreader4.netcologne.de!news.netcologne.de!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 4 Jun 2021 03:08:16 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=131.164.234.133; posting-account=Srm5lQoAAAAEMX9rv2ilEKR6FDPapmSq NNTP-Posting-Host: 131.164.234.133 References: <0001HW.2666F40C011A795F700009A5738F@news.individual.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Homebrew, GNAT From: Mark Lorenzen Injection-Date: Fri, 04 Jun 2021 10:08:16 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 3115 Xref: reader02.eternal-september.org comp.lang.ada:62118 List-Id: On Friday, June 4, 2021 at 9:38:14 AM UTC+2, Simon Wright wrote: > Mark Lorenzen 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