Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Are you perchance running on a 64-bit machine? -- Larry Wall in <199711102149.NAA16878@wall.org>

devel / comp.lang.ada / Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

SubjectAuthor
* Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1Bill Findlay
`* Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1Simon Wright
 `* Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1Bill Findlay
  `- Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1Maxim Reznik

1
Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

<0001HW.29FC948900FDEFB3700003DA538F@news.individual.net>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9564&group=comp.lang.ada#9564

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: findlaybill@blueyonder.co.uk (Bill Findlay)
Newsgroups: comp.lang.ada
Subject: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1
Date: Sat, 29 Apr 2023 00:55:53 +0100
Organization: none
Lines: 26
Message-ID: <0001HW.29FC948900FDEFB3700003DA538F@news.individual.net>
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 Rj058ip/UltMk+gmZR/1dwK8HTDvtULC52DvmfHoAe04F/A87i
X-Orig-Path: not-for-mail
Cancel-Lock: sha1:dvNWuofM9TlQ0nZtv/rSmQqiKJs=
User-Agent: Hogwasher/5.24
 by: Bill Findlay - Fri, 28 Apr 2023 23:55 UTC

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

Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

<ly8reaiv57.fsf@pushface.org>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9565&group=comp.lang.ada#9565

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: simon@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1
Date: Sat, 29 Apr 2023 16:08:04 +0100
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <ly8reaiv57.fsf@pushface.org>
References: <0001HW.29FC948900FDEFB3700003DA538F@news.individual.net>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="0327fe4b35b6dc49092ab4380f320d0d";
logging-data="3151284"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/UjHJoapbCF9UuTqXnZPysyA7N9A5FGwQ="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (darwin)
Cancel-Lock: sha1:faRLj6vd6UZfidC/ubNoobe5zrs=
sha1:vVBT+Pd/xbqjX6a3KwPgow2LAZ4=
 by: Simon Wright - Sat, 29 Apr 2023 15:08 UTC

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

Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

<0001HW.29FD7EE2010A7CA0700003DA538F@news.individual.net>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9566&group=comp.lang.ada#9566

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.szaf.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: findlaybill@blueyonder.co.uk (Bill Findlay)
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
Lines: 30
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
 by: Bill Findlay - Sat, 29 Apr 2023 16:35 UTC

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

Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

<cb2f6865-79bd-4f92-83a8-1fcfb43bf79fn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9570&group=comp.lang.ada#9570

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:1313:b0:74e:509:844 with SMTP id o19-20020a05620a131300b0074e05090844mr4201745qkj.8.1683174069172;
Wed, 03 May 2023 21:21:09 -0700 (PDT)
X-Received: by 2002:a25:41ca:0:b0:b6c:48c3:3c1c with SMTP id
o193-20020a2541ca000000b00b6c48c33c1cmr13780432yba.13.1683174068876; Wed, 03
May 2023 21:21:08 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 3 May 2023 21:21:08 -0700 (PDT)
In-Reply-To: <0001HW.29FD7EE2010A7CA0700003DA538F@news.individual.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:1fb:244d:fb09:268c:566d;
posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h
NNTP-Posting-Host: 2a03:7380:380d:1fb:244d:fb09:268c:566d
References: <0001HW.29FC948900FDEFB3700003DA538F@news.individual.net>
<ly8reaiv57.fsf@pushface.org> <0001HW.29FD7EE2010A7CA0700003DA538F@news.individual.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cb2f6865-79bd-4f92-83a8-1fcfb43bf79fn@googlegroups.com>
Subject: Re: Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1
From: reznikmm@gmail.com (Maxim Reznik)
Injection-Date: Thu, 04 May 2023 04:21:09 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2154
 by: Maxim Reznik - Thu, 4 May 2023 04:21 UTC

суббота, 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

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor