Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

[Simon Wright <simon@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>,

   Ada

   Traceback support added in RTEMS for the PPC ELF and ARM
      architectures.
   Support for versions older than VxWorks 7 has been removed.
   General improvements to the contracts in the standard libraries.
   Addition of GNAT.Binary_Search.
   Further additions and fixes for the Ada 2022 specification.
   The Pragma SPARK_Mode=>Auto is now accepted. Contract analysis has
      been further improved.
   Documentation improvements.

> Using the command:
>
>> gcc -c -I./ -I../Source -funwind-tables -gnatl12j96 -gnatw.e -gnatwD
>> -gnatwH -gnatwP -gnatwT -gnatw.W -gnatw.B -gnatwC -gnatw.u -gnatyO
>> -gnatw.Y -gnatw.N
> -fdata-sections -ffunction-sections -gnatfn -mtune=native -Ofast 
> -fno-stack-check -fomit-frame-pointer -flto -I 
> /Users/wf/KDF9/emulation/Source/ee9.adb
>
> I got:
>
>> clang (LLVM option parsing): Unknown command line argument
>> '-x86-pad-for-align=false'. Try: 'clang (LLVM option parsing)
>> --help'
>> clang (LLVM option parsing): Did you mean '--x86-slh-loads=false'?
>> gnatmake: "/Users/wf/KDF9/emulation/Source/ee9.adb" compilation error

gcc -c -I./ -I../Source -funwind-tables -gnatl12j96 -gnatw.e -gnatwD
-gnatwH -gnatwP -gnatwT -gnatw.W -gnatw.B -gnatwC -gnatw.u -gnatyO
-gnatw.Y -gnatw.N -fdata-sections -ffunction-sections -gnatfn
-mtune=native -O3 -flto -I-
/Users/simon/tmp/ee9/emulation/Source/ee9.adb

worked without complaint.

The command lines are different: I used V9p0p_for_Intel_macOS.zip,
command mk9.

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