The node you are looking for is at gnat_ugn/building_executable_programs_with_gnat notes-on-the-command-line.