Как я могу сделать GNAT генерировать список программ?

Question

Сделайте так, чтобы это выглядело как сгенерированный tasm листинг)

Answer 1

Вызовите 'gnatmake' с '-S' в качестве одного из аргументов:

$ cat hello_world.adb
with Ada.Text_IO;

procedure Hello_World is
begin
   Ada.Text_IO.Put_Line ("Hello world!");
end Hello_World;
$ gnatmake -S hello_world
[...]
$ head hello_world.s
        .file       "hello_world.adb"
        .section    .rodata
.LC1:
        .ascii      "Hello world!"
        .align 4
.LC0:
        .long       1
        .long       12
        .text
        .globl      _ada_hello_world

Answer 2

Согласно документам ,

Любой заглавный или многосимвольный переключатель, который не является переключателем gnatmake передается в gcc (например, -O, -gnato, и др.)

, так что вы, вероятно, сделаете это точно так же, как и с gcc.

Я не знаю, какой именно формат вы имеете в виду, но -gnatl выглядит интересно.