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

[Tero Koskinen <tero.koskinen@iki.fi>]

Hi,

Luke A. Guest wrote on 16.6.2020 14.31:
> Hi,
> 
> I'm trying to get some static data tables into the data section rather
> than be elaborated at runtime. I can see no reason why this particular
> set of types, records and aggregates cannot go into the data section.

I haven't tried with your example, but is GNAT specific pragma 
Linker_Section acceptable?

https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/implementation_defined_pragmas.html#pragma-linker-section

I use that for some AVR-Ada code when I want to relocate some of the 
stuff to progmem.

Example:

package PM_Strings is
    type Text_In_Progmem (Len : AVR.Nat8) is record
       Text : AVR.Strings.AVR_String(1..Len);
    end record;

    Select_Action_Str      : constant AVR.Strings.AVR_String := "---- 
Select action ----";
    Read_NFC_Str           : constant AVR.Strings.AVR_String := "1 - 
Read NFC tag";

    Select_Action_PM : constant Text_In_Progmem := 
(Select_Action_Str'Length, Select_Action_Str);
    Read_NFC_PM      : constant Text_In_Progmem := (Read_NFC_Str'Length, 
Read_NFC_Str);

    pragma Linker_Section (Select_Action_PM, ".progmem");
    pragma Linker_Section (Read_NFC_PM, ".progmem");
end PM_Strings;


-Tero