Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.bugs.dist > #1271408

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

From Nicolas Boulenguez <nicolas@debian.org>
Newsgroups linux.debian.bugs.dist, linux.debian.maint.glibc
Subject Bug#1115881: glibc 2.42 breaks the gnat-XXX provide
Date 2025-11-24 12:40 +0100
Message-ID <LUD5f-fnLQ-7@gated-at.bofh.it> (permalink)
References <LxkXL-gYBr-3@gated-at.bofh.it> <LSUMV-ebKC-7@gated-at.bofh.it> <LxkXL-gYBr-3@gated-at.bofh.it> <LSUMV-ebKC-7@gated-at.bofh.it>
Organization linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw


> > 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.

Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Find similar | Unroll thread


Thread

Bug#1115881: glibc 2.42 breaks the gnat-XXX provide Aurelien Jarno <aurelien@aurel32.net> - 2025-11-19 19:10 +0100
  Bug#1115881: glibc 2.42 breaks the gnat-XXX provide Nicolas Boulenguez <nicolas@debian.org> - 2025-11-24 12:40 +0100

csiph-web