https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141
--- Comment #23 from Iain Sandoe <iains at gcc dot gnu.org> --- (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.
