Hi, What does the option -gnatpg (and its pal -gnata) do? a search using: info -d /opt/gcc-3.4.6-profiled-gnu/info produced nothing? The first 10 results of a search on the gcc web site produced nothing other than command lines that had the switch (or a mention of it being added by gnatmake). kevin
