comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: GNAT CE 2021 is out
Date: Thu, 17 Jun 2021 12:20:59 +0100	[thread overview]
Message-ID: <ly8s38buuc.fsf@pushface.org> (raw)
In-Reply-To: 0a4d376f-7527-488c-97ae-57a599aaab19n@googlegroups.com

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

      reply	other threads:[~2021-06-17 11:20 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-05-27 17:37 GNAT CE 2021 is out AdaMagica
2021-05-29 17:17 ` AdaMagica
2021-06-02 20:40 ` Gautier write-only address
2021-06-08 17:54   ` Stephen Leake
2021-06-11 18:59   ` Stephane Carrez
2021-06-16 16:24     ` Gautier write-only address
2021-06-16 17:21       ` Simon Wright
2021-06-16 20:05         ` Gautier write-only address
2021-06-17 11:20           ` Simon Wright [this message]
replies disabled

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