Блог

Что означают прагмы Static_Elaboration_Desired и директивы Ada Linker_Section ? Я не смог понять определения, данные через Интернет.

Static_Elaboration_Desired не является Ada-прагмой. Это определенная реализацией прагма в GNAT:

https://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-Static_005fElaboration_005fDesired.html

Вы используете его, если хотите, чтобы разработка была статической (т.Е. Просто Частью исполняемого образа), а не выполнялась с помощью исполняемого кода.