kevin diggs <diggskevin38@gmail.com> writes: > What does the option -gnatpg (and its pal -gnata) do? http://gcc.gnu.org/onlinedocs/gcc-4.5.1/gnat_ugn_unw/Switches-for-gcc.html I think -gnatpg is the same as -gnatp -gnatg. Ian