Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

[Bill Findlay <findlaybill@blueyonder.co.uk>]

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