Re: Bug#1115881: glibc 2.42 breaks the gnat-XXX provide

[Nicolas Boulenguez <nicolas@debian.org>]

> > When gcc-14 is rebuilt with glibc 2.42, the gnat provides will change. I
> > figured out this is due to:

> > --- ./build/gcc/ada/rts/s-oscons.ads
> > +++ ./build/gcc/ada/rts/s-oscons.ads
> > -   B50                           : constant := 1;          --  50 bps
> > +   B50                           : constant := 50;         --  50 bps

> > Now, that might not be considered an ABI break for glibc, but the checksum
> > over the .ali files interpret that as such one.  However that seems to be
> > the first time that a glibc update changes that gnat ABI.
> > 
> > Note, that we just can rebuild all the packages build-depending on
> > gnat/gnat-14, but maybe the current ali checksum approach is too tight to be
> > useful for an ABI check.
> 
> Could someone on the ADA side please tell us, if it is fine to include 
> the gnat stack in the glibc transition, or if the checksum approach 
> needs to be changed or any other suggestion?

Hello.

In addition to usual precautions regarding ABIs, Ada requires that all
reverse dependencies are rebuilt whenever a source changes.  The ALI
checksums enforce this rule and seem right here.

That said, it is not currently possible to rebuild all Ada packages.
Most of them FTBFS and are removed from unstable.

I think the only sensible option is to remove all Ada packages from
testing.  If you confirm that this solves your problem, I will request
the removal.