https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Created attachment 58230 > --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58230&action=edit > Tentative fix > > Hopefully the final version of it. Yes, make all-target-libada completed just fine with this. Thanks!