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 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Homebrew, GNAT Date: Fri, 04 Jun 2021 08:38:10 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <0001HW.2666F40C011A795F700009A5738F@news.individual.net> NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain X-Complaints-To: abuse@aioe.org User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin) X-Notice: Filtered by postfilter v. 0.9.2 Cancel-Lock: sha1:KNQyho0gI1lU1vtq9VLAHKdar4M= Xref: reader02.eternal-september.org comp.lang.ada:62113 List-Id: 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/