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