From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.4 required=3.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC,T_SCC_BODY_TEXT_LINE autolearn=no
	autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!news.szaf.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Bill Findlay <findlaybill@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1
Date: Sat, 29 Apr 2023 17:35:46 +0100
Organization: none
Message-ID: <0001HW.29FD7EE2010A7CA0700003DA538F@news.individual.net>
References: <0001HW.29FC948900FDEFB3700003DA538F@news.individual.net> <ly8reaiv57.fsf@pushface.org>
Reply-To: findlaybill@blueyonder.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: individual.net Yz4LOrjUcCwg5F/HcWtHMw420BxP9LisoCq7B/7rKrMbU8G8Jd
X-Orig-Path: not-for-mail
Cancel-Lock: sha1:jn5mbkyHOqLcm28dXWWzgfdWkSo=
User-Agent: Hogwasher/5.24
Xref: news.eternal-september.org comp.lang.ada:65163
List-Id: <comp.lang.ada>

On 29 Apr 2023, Simon Wright wrote
(in article <ly8reaiv57.fsf@pushface.org>):

> Bill Findlay<findlaybill@blueyonder.co.uk>  writes:
>
> > Many thanks for the x86 macOS build of GNAT.
> > Does it incorporate front-end updates since the Sep 30 build of
> > gnat-12.2.0-1?
>
> It includes whatever changes Adacore &  fellow maintainers have made!
> From here<https://gcc.gnu.org/gcc-13/changes.html>,

Thanks for that pointer.
I guess I am wondering about this:
> Further additions and fixes for the Ada 2022 specification.

Where would AdaCore enumerate those updates?

> This is on Darwin 21.6.0, with Command Line Tools 14.2, as reported by
> $ pkgutil --pkg-info=com.apple.pkg.CLTools_Executables

As usual, you immediately put your finger on the problem:
out of date Command Line Tools (sigh).
I have installed 14.3 and all is now well.

Thanks again!
-- 
Bill Findlay