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: Wed, 02 Jun 2021 09:51:15 +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) Cancel-Lock: sha1:hOKyA7O65ae/tNRFWEKak7QUdsk= X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader02.eternal-september.org comp.lang.ada:62087 List-Id: Bill Findlay writes: > On 1 Jun 2021, Simon Wright wrote > (in article ): > >> Simon Wright 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.