https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141
--- Comment #26 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > likewise with --with-checking=yes,rtl,tree. > However make check-ada fails with "gnatlib missing, exiting" > If I cd gcc ; make check-gnat then most of those tests fail too (claims > missing adainclude/adalib) Yes, as Arno said, you need to manually build libada in this setup: make -C gcc gnatlib-shared make -C gcc gnattools