https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141
--- Comment #24 from Iain Sandoe <iains at gcc dot gnu.org> --- (In reply to Iain Sandoe from comment #23) > (In reply to Iain Sandoe from comment #22) > > (In reply to Arnaud Charlet from comment #21) > > > Right and in particular don't get confused: --disable-libada does NOT > > > disable the build of the Ada runtime in our builds, it only disables the > > > automatic build when doing a 'make', but the Ada runtime is definitely > > > built > > > in this setup via an explicit make gnatlib, so that's a red herring. The > > > sem_ch7.adb change is also > > > clearly a red herring/not the root cause. > > > > I'm doing a build with it disabled now (just trying to repeat your working > > result too). > > --with-checking=release --disable-libada succeeds for me too. 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)
