comp.lang.ada
 help / color / mirror / Atom feed
From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: How can I get this data into the .data section of the binary?
Date: Tue, 16 Jun 2020 13:45:04 +0100	[thread overview]
Message-ID: <rcaets$our$1@gioia.aioe.org> (raw)
In-Reply-To: rcaeef$hqo$1@gioia.aioe.org

On 16/06/2020 13:36, Luke A. Guest wrote:
> On 16/06/2020 12:50, J-P. Rosen wrote:
>> Le 16/06/2020 à 13:37, Luke A. Guest a écrit :
>>> I realise that the pragma Static_Elaboration_Desired applies to the
>>> whole package now, but it doesn't work:
>>>
>>> package SDL.Video.Pixel_Formats is
>>>    pragma Static_Elaboration_Desired;
>>> ...
>>>
>> This is a Gnat specific pragma, so only AdaCore can help. But did you
>> try pragma Shared_Passive? Actually, pragma Preelaborate should be
>> enough to guarantee compile-time elaboration.
>>
> 
> Except, you can't use that pragma, because it wants all other's to be
> preelaborated, but they're not.
> 

And this is one of the things that really annoys me about Ada.

  reply	other threads:[~2020-06-16 12:45 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-06-16 11:31 How can I get this data into the .data section of the binary? Luke A. Guest
2020-06-16 11:37 ` Luke A. Guest
2020-06-16 11:50   ` J-P. Rosen
2020-06-16 12:36     ` Luke A. Guest
2020-06-16 12:45       ` Luke A. Guest [this message]
2020-06-16 12:56         ` J-P. Rosen
2020-06-16 12:59           ` Luke A. Guest
2020-06-16 13:29             ` J-P. Rosen
2020-06-16 13:44               ` Luke A. Guest
2020-06-18  2:55                 ` Randy Brukardt
2020-06-18  9:55                   ` Niklas Holsti
2020-06-21  3:55                     ` Randy Brukardt
2020-06-21  6:55                       ` Niklas Holsti
2020-06-16 13:52             ` Mark Lorenzen
2020-06-16 14:08               ` Luke A. Guest
2020-06-16 13:03           ` Luke A. Guest
2020-06-16 14:14 ` Niklas Holsti
2020-06-16 14:25   ` Dmitry A. Kazakov
2020-06-16 14:32     ` Niklas Holsti
2020-06-16 14:42     ` Luke A. Guest
2020-06-16 15:21       ` Dmitry A. Kazakov
2020-06-16 15:43         ` Luke A. Guest
2020-06-16 16:11           ` Dmitry A. Kazakov
2020-06-16 14:40   ` Luke A. Guest
2020-06-16 18:19 ` Tero Koskinen
2020-06-17 12:37   ` Luke A. Guest
2020-06-17 14:01     ` Niklas Holsti
2020-06-17 15:17       ` Luke A. Guest
2020-09-03 10:32 ` c+
2020-09-13 13:36 ` patelchetan1111992
2020-09-19 14:08 ` erchetan33
2020-09-28 11:36 ` yhumina stir
replies disabled

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