Hi, On 2025-11-24 12:29, Nicolas Boulenguez wrote: > > > 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.
Thanks for the explanations. > 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. We will definitely need to get the packages that can't be rebuilt removed. For the other packages, thanks for the offer to remove them from testing. That said if they can get rebuild, I guess they can migrate at the same time with glibc 2.42 and gcc-14 rebuilt against glibc 2.42. The alternative to remove them from testing, get them rebuilt and migrated again is also to consider, but I guess we should just leave the release team to decide on the best procedure. Anyway I'll mention the strategy in the transition bug, and will put [email protected] in Cc. I'll first do an upload to experimental with the latest upstream change, and if all goes fine I'll open a transition bug in the next days. Regards Aurelien -- Aurelien Jarno GPG: 4096R/1DDD8C9B [email protected] http://aurel32.net
