Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

To the systems programmer, users and applications serve only to provide a test load.


devel / comp.lang.ada / Re: GNAT CE 2021 is out

SubjectAuthor
* GNAT CE 2021 is outAdaMagica
+- Re: GNAT CE 2021 is outAdaMagica
`* Re: GNAT CE 2021 is outGautier write-only address
 +- Re: GNAT CE 2021 is outStephen Leake
 `* Re: GNAT CE 2021 is outStephane Carrez
  `* Re: GNAT CE 2021 is outGautier write-only address
   `* Re: GNAT CE 2021 is outSimon Wright
    `* Re: GNAT CE 2021 is outGautier write-only address
     `- Re: GNAT CE 2021 is outSimon Wright

1
GNAT CE 2021 is out

<69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:6214:13f2:: with SMTP id ch18mr4859313qvb.42.1622137079309;
Thu, 27 May 2021 10:37:59 -0700 (PDT)
X-Received: by 2002:a25:ba93:: with SMTP id s19mr6512441ybg.161.1622137079156;
Thu, 27 May 2021 10:37:59 -0700 (PDT)
Path: i2pn2.org!i2pn.org!news.niel.me!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 27 May 2021 10:37:58 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=94.31.98.170; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 94.31.98.170
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
Subject: GNAT CE 2021 is out
From: christ-u...@t-online.de (AdaMagica)
Injection-Date: Thu, 27 May 2021 17:37:59 +0000
Content-Type: text/plain; charset="UTF-8"
 by: AdaMagica - Thu, 27 May 2021 17:37 UTC

Just downloaded, no problems so far. Heureka.

Re: GNAT CE 2021 is out

<5cee29db-7613-4cd2-9356-e016db53c5d1n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:e113:: with SMTP id c19mr9416486qkm.329.1622308632958;
Sat, 29 May 2021 10:17:12 -0700 (PDT)
X-Received: by 2002:a05:6902:689:: with SMTP id i9mr2500885ybt.165.1622308632723;
Sat, 29 May 2021 10:17:12 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder5.feed.usenet.farm!feeder1.feed.usenet.farm!feed.usenet.farm!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.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: Sat, 29 May 2021 10:17:12 -0700 (PDT)
In-Reply-To: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=94.31.98.170; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 94.31.98.170
References: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5cee29db-7613-4cd2-9356-e016db53c5d1n@googlegroups.com>
Subject: Re: GNAT CE 2021 is out
From: christ-u...@t-online.de (AdaMagica)
Injection-Date: Sat, 29 May 2021 17:17:12 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1307
 by: AdaMagica - Sat, 29 May 2021 17:17 UTC

There is a problem in the implementation of the new Reduce attribute. The Roman_Number example in RM 4.2.1(15/5ff) does not work. GNAT uses the wrong subtype for the Accum subtype. If's been reported.

Re: GNAT CE 2021 is out

<76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:44a:: with SMTP id o10mr8415990qtx.133.1622666403534;
Wed, 02 Jun 2021 13:40:03 -0700 (PDT)
X-Received: by 2002:a25:4641:: with SMTP id t62mr52699618yba.253.1622666403261;
Wed, 02 Jun 2021 13:40:03 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 2 Jun 2021 13:40:03 -0700 (PDT)
In-Reply-To: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4564:bea0:5c6d:4100:1b34:d187;
posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4564:bea0:5c6d:4100:1b34:d187
References: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com>
Subject: Re: GNAT CE 2021 is out
From: gautier_...@hotmail.com (Gautier write-only address)
Injection-Date: Wed, 02 Jun 2021 20:40:03 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Gautier write-only a - Wed, 2 Jun 2021 20:40 UTC

Regarding the Windows version: each time I call gprbuild on a project, everything is recompiled, in place of an incremental compilation (normally, only the Ada files that were modified since last build are recompiled). Did anyone else notice that?

Re: GNAT CE 2021 is out

<86v96ob5tu.fsf@stephe-leake.org>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!pBWEO6hi52oGFheO/GY5ag.user.gioia.aioe.org.POSTED!not-for-mail
From: stephen_...@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: GNAT CE 2021 is out
Date: Tue, 08 Jun 2021 10:54:05 -0700
Organization: Aioe.org NNTP Server
Lines: 24
Message-ID: <86v96ob5tu.fsf@stephe-leake.org>
References: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
<76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com>
NNTP-Posting-Host: pBWEO6hi52oGFheO/GY5ag.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (windows-nt)
Cancel-Lock: sha1:vL0cEgoUcmb+hZqIE3ZtefUJ/6g=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Stephen Leake - Tue, 8 Jun 2021 17:54 UTC

Gautier write-only address <gautier_niouzes@hotmail.com> writes:

> Regarding the Windows version: each time I call gprbuild on a project,
> everything is recompiled, in place of an incremental compilation
> (normally, only the Ada files that were modified since last build are
> recompiled). Did anyone else notice that?

I see something similar but different (since 2019); no sources are
recompiled, but everything is linked again, which in my builds is slow.

Assuming you are seeing the same thing, if you keep repeating the same
build, it eventually finishes. If you look in *.bexch, after each build
you will see one more gpr hash added; I gather they should all be added
the first time. So the number of builds needed is the number of *.gpr
you 'with', transitively. After that, each source code change only
requires one build; changes to *.gpr (and some other things?) reset all
the gpr hashes.

I have not reported this to AdaCore; I don't have access to a support
contract for Windows. It would make sense to report it to the community
channel.

--
-- Stephe

Re: GNAT CE 2021 is out

<b3def605-cb6e-4b36-a036-9e336de0a743n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:8e:: with SMTP id o14mr5278104qtw.102.1623437964575;
Fri, 11 Jun 2021 11:59:24 -0700 (PDT)
X-Received: by 2002:a25:6d82:: with SMTP id i124mr7968056ybc.165.1623437964286;
Fri, 11 Jun 2021 11:59:24 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 11 Jun 2021 11:59:24 -0700 (PDT)
In-Reply-To: <76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=5.51.16.193; posting-account=lzjH_AoAAABq5H4FTxZ1AkonVQLbXoxB
NNTP-Posting-Host: 5.51.16.193
References: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com> <76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b3def605-cb6e-4b36-a036-9e336de0a743n@googlegroups.com>
Subject: Re: GNAT CE 2021 is out
From: stephane...@gmail.com (Stephane Carrez)
Injection-Date: Fri, 11 Jun 2021 18:59:24 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Stephane Carrez - Fri, 11 Jun 2021 18:59 UTC

Hi Gautier,

Le mercredi 2 juin 2021 à 22:40:04 UTC+2, gautier... a écrit :
> Regarding the Windows version: each time I call gprbuild on a project, everything is recompiled, in place of an incremental compilation (normally, only the Ada files that were modified since last build are recompiled). Did anyone else notice that?

I'm jumping at the end of your battle....

I've observed some small differences in the way compilation options are handled by gprbuild.
In particular the Builder.Default_Switches and Compiler.Default_Switches were the source of a problem
as far as I'm concerned. Not systematic but this resulted in your observed behavior.

From time to time I'm having the problem you mention and in most cases it was
related to some incorrect definition in one of my GNAT project.
When this happens I use one of -vl or -vm option.
And then... I loose a lot of time to spot the issue :-)

Stephane

Re: GNAT CE 2021 is out

<0847a8ed-623c-47fa-8dbf-7b505bd4ced0n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:6214:19e5:: with SMTP id q5mr854688qvc.56.1623860677735;
Wed, 16 Jun 2021 09:24:37 -0700 (PDT)
X-Received: by 2002:a25:e658:: with SMTP id d85mr761214ybh.165.1623860677562;
Wed, 16 Jun 2021 09:24:37 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 16 Jun 2021 09:24:37 -0700 (PDT)
In-Reply-To: <b3def605-cb6e-4b36-a036-9e336de0a743n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4564:bea0:16:caf1:ba22:5c4a;
posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4564:bea0:16:caf1:ba22:5c4a
References: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
<76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com> <b3def605-cb6e-4b36-a036-9e336de0a743n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0847a8ed-623c-47fa-8dbf-7b505bd4ced0n@googlegroups.com>
Subject: Re: GNAT CE 2021 is out
From: gautier_...@hotmail.com (Gautier write-only address)
Injection-Date: Wed, 16 Jun 2021 16:24:37 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Gautier write-only a - Wed, 16 Jun 2021 16:24 UTC

Le vendredi 11 juin 2021 à 20:59:25 UTC+2, Stephane Carrez a écrit :
> When this happens I use one of -vl or -vm option.

Actually my issue is very similar to one appeared with GNAT GPL 2017 (see "GNAT GPL 2017 incremental compilation").
It is related to configuration pragma files. At the time the solution was to have in the .gpr project file compiler options expressed like
"-gnatec=" & project'Project_Dir & "debug.pra"
because gprbuild doesn't run in the same directory as gnat since the GPL 2017 version.
Now (four GPL/CE versions later) it's a bit trickier since gprbuild doesn't find the configuration pragma file at its correct place, even though gnat does.

The verbosity switch (-vm) was helpful to confirm that (gprbuild shows reasons for recompilation). Thanks for the reminder!

Re: GNAT CE 2021 is out

<lyczslbu8m.fsf@pushface.org>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: GNAT CE 2021 is out
Date: Wed, 16 Jun 2021 18:21:45 +0100
Organization: Aioe.org NNTP Server
Lines: 24
Message-ID: <lyczslbu8m.fsf@pushface.org>
References: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
<76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com>
<b3def605-cb6e-4b36-a036-9e336de0a743n@googlegroups.com>
<0847a8ed-623c-47fa-8dbf-7b505bd4ced0n@googlegroups.com>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:s0oekCKzVXSdXATxG6JQ6IAWc/M=
 by: Simon Wright - Wed, 16 Jun 2021 17:21 UTC

Gautier write-only address <gautier_niouzes@hotmail.com> writes:

> Actually my issue is very similar to one appeared with GNAT GPL 2017
> (see "GNAT GPL 2017 incremental compilation").
> It is related to configuration pragma files. At the time the solution
> was to have in the .gpr project file compiler options expressed like
> "-gnatec=" & project'Project_Dir & "debug.pra"
> because gprbuild doesn't run in the same directory as gnat since the
> GPL 2017 version.
> Now (four GPL/CE versions later) it's a bit trickier since gprbuild
> doesn't find the configuration pragma file at its correct place, even
> though gnat does.

package Builder is
for Global_Configuration_Pragmas use "gnat.adc";
end Builder;

package Compiler is
for Local_Configuration_Pragmas use "gnat_local.adc";
end Compiler;

Gprbuild doesn't complain about finding either of these, which are in
the same directory as the project file (I'm not sure whether they're
actually _actioned_).

Re: GNAT CE 2021 is out

<0a4d376f-7527-488c-97ae-57a599aaab19n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:7f4a:: with SMTP id g10mr1275665qtk.296.1623873923469;
Wed, 16 Jun 2021 13:05:23 -0700 (PDT)
X-Received: by 2002:a5b:58e:: with SMTP id l14mr1099460ybp.303.1623873923267;
Wed, 16 Jun 2021 13:05:23 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 16 Jun 2021 13:05:23 -0700 (PDT)
In-Reply-To: <lyczslbu8m.fsf@pushface.org>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4564:bea0:7dcd:e6cc:ad08:f407;
posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4564:bea0:7dcd:e6cc:ad08:f407
References: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
<76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com> <b3def605-cb6e-4b36-a036-9e336de0a743n@googlegroups.com>
<0847a8ed-623c-47fa-8dbf-7b505bd4ced0n@googlegroups.com> <lyczslbu8m.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0a4d376f-7527-488c-97ae-57a599aaab19n@googlegroups.com>
Subject: Re: GNAT CE 2021 is out
From: gautier_...@hotmail.com (Gautier write-only address)
Injection-Date: Wed, 16 Jun 2021 20:05:23 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Gautier write-only a - Wed, 16 Jun 2021 20:05 UTC

Le mercredi 16 juin 2021 à 19:21:48 UTC+2, Simon Wright a écrit :

> package Builder is
> for Global_Configuration_Pragmas use "gnat.adc";
> end Builder;
>
> package Compiler is
> for Local_Configuration_Pragmas use "gnat_local.adc";
> end Compiler;

Perfect - again!
Here is the change for HAC's project file:
https://github.com/zertovitch/hac/commit/2a26d65
https://sourceforge.net/p/hacadacompiler/code/472/

> Gprbuild doesn't complain about finding either of these, which are in
> the same directory as the project file (I'm not sure whether they're
> actually _actioned_).

With the "-vm" gprbuild option you can see what is passed to the compiler; with the Local_Configuration_Pragmas a corresponding "-gnatec=..." compiler option is added.

Re: GNAT CE 2021 is out

<ly8s38buuc.fsf@pushface.org>

 copy mid

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

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: GNAT CE 2021 is out
Date: Thu, 17 Jun 2021 12:20:59 +0100
Organization: Aioe.org NNTP Server
Lines: 35
Message-ID: <ly8s38buuc.fsf@pushface.org>
References: <69f55673-f75c-4ee7-a11b-87b6110f6133n@googlegroups.com>
<76a267d0-3fef-4bec-8ec8-86d85a614125n@googlegroups.com>
<b3def605-cb6e-4b36-a036-9e336de0a743n@googlegroups.com>
<0847a8ed-623c-47fa-8dbf-7b505bd4ced0n@googlegroups.com>
<lyczslbu8m.fsf@pushface.org>
<0a4d376f-7527-488c-97ae-57a599aaab19n@googlegroups.com>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
Cancel-Lock: sha1:ICdFHI2B/cZW3YZOPaUxMXCUKsc=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Simon Wright - Thu, 17 Jun 2021 11:20 UTC

Gautier write-only address <gautier_niouzes@hotmail.com> writes:

> Le mercredi 16 juin 2021 à 19:21:48 UTC+2, Simon Wright a écrit :
>
>> package Builder is
>> for Global_Configuration_Pragmas use "gnat.adc";
>> end Builder;
>>
>> package Compiler is
>> for Local_Configuration_Pragmas use "gnat_local.adc";
>> end Compiler;
>>
>> Gprbuild doesn't complain about finding either of these, which are in
>> the same directory as the project file (I'm not sure whether they're
>> actually _actioned_).
>
> With the "-vm" gprbuild option you can see what is passed to the
> compiler; with the Local_Configuration_Pragmas a corresponding
> "-gnatec=..." compiler option is added.

Just checked: both get passed to the compiler.

For info, the global one says

pragma Profile (Ravenscar);
pragma Partition_Elaboration_Policy (Sequential);

while the local one says

pragma Restrictions (No_Recursion);

the reason being that the whole program, which includes Ada Drivers
Library, "needs" the first two (well, not really with Cortex GNAT RTS),
but I'd rather my own code didn't use recursion (ADL needs it because
there's filesystem code in there, which is a natural for it).

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor