Re: How can I get this data into the .data section of the binary?

[Mark Lorenzen <mark.lorenzen@gmail.com>]

On Tuesday, June 16, 2020 at 3:00:28 PM UTC+2, Luke A. Guest wrote:
> On 16/06/2020 13:56, J-P. Rosen wrote:
> > Le 16/06/2020 à 14:45, Luke A. Guest a écrit :
> >>> 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.
> >>
> > But how could it be otherwise? If you depend on a non-preelaborable
> > unit, then you depend on something which is not computable at compile
> > time...
> 
> Which misses the point entirely of my original issue, and complete
> hatred of this part of Ada. Literally, if something can be compiled to
> be in the data section, it should be.

I don't know why you insist on eliminating elaboration code, but try to see if this can help you:

https://docs.adacore.com/gnathie_ug-docs/html/gnathie_ug/gnathie_ug/using_gnat_pro_features_relevant_to_high_integrity.html#avoiding-elaboration-code

Regards,
Mark L