help / color / mirror / Atom feed
From: Simon Wright <>
Subject: Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1
Date: Sat, 29 Apr 2023 16:08:04 +0100	[thread overview]
Message-ID: <> (raw)

Bill Findlay <> 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 <>,


   Traceback support added in RTEMS for the PPC ELF and ARM
   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-

worked without complaint.

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

This is on Darwin 21.6.0, with Command Line Tools 14.2, as reported by
$ pkgutil

  reply	other threads:[~2023-04-29 15:08 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-04-28 23:55 Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1 Bill Findlay
2023-04-29 15:08 ` Simon Wright [this message]
2023-04-29 16:35   ` Bill Findlay
2023-05-04  4:21     ` Maxim Reznik
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox