The following switches are available with the gnatlink utility:
exec-name specifies an alternative name for the generated executable program. If this switch is omitted, the executable is called the name of the main unit. So gnatlink try.ali creates an executable called try.
Causes additional information to be output, including a full list of the included object files. This switch option is most useful when you want to see what set of object files are being used in the link step.
The option to include debugging information causes the C bind file (in other words, b_mainprog.c) to be compiled with -g. In addition, the binder does not delete the b_mainprog.c and b_mainprog.o files. Without -g, the binder removes these files by default.
name is the name of the linker to be invoked. You normally omit this switch, in which case the default name for the linker is (gcc).