From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
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
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
Xref: reader02.eternal-september.org comp.lang.ada:62236
List-Id: <comp.lang.ada>

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).