https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63656
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Hm, isn't it already selected properly? Apparently so, yes. > a bit more of log: > http://ixion.pld-linux.org/~arekm/gcc-ada-log1.txt > and full log: > http://ixion.pld-linux.org/~arekm/gcc-ada-log-long.txt Your bug report is misleading, you aren't building the compiler, you're doing a profiled bootstrap. Try first with just 'make'.