1. Forum
  2. Usenet
  3. COMP.LANG.ADA

  • Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

    From Bill Findlay@21:1/5 to All on Sat Apr 29 00:55:53 2023
    Hi Simon,

    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?

    which gnat
    /opt/gcc-13.1.0/bin/gnat

    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

    --

    Bill Findlay

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Simon Wright@21:1/5 to Bill Findlay on Sat Apr 29 16:08:04 2023
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Bill Findlay@21:1/5 to Simon Wright on Sat Apr 29 17:35:46 2023
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Maxim Reznik@21:1/5 to All on Wed May 3 21:21:08 2023
    суббота, 29 апреля 2023 г. в 19:35:50 UTC+3, Bill Findlay:
    I guess I am wondering about this:
    Further additions and fixes for the Ada 2022 specification.
    Where would AdaCore enumerate those updates?

    I can't speak for AdaCore, but I tried to search in ChangeLog and

    Regarding the improvement of Ada 2022 support, I only found two cases. The 'Index attribute has been implemented for use in the preconditions and postconditions of input families. Containers have received versions of cursor operations where the first
    argument is the container object. These include Has_Element, Element, Next, and so on, i.e. we can write My_Set.Has_Element (Cursor).

    https://forum.ada-lang.io/t/gcc-13-1-released/374/3?u=max

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)