[Pkg-electronics-devel] GNAT 12 and GHDL

[Andreas Bombe]

On Fri, Dec 02, 2022 at 03:15:15PM +0100, Daniel Gröber wrote:
> Hi,
> 
> @Ludovic @Nicolas we're working on getting GHDL ready for bookworm but GNAT
> 12 is only in experimental so far, is there anything we can do to help with
> getting it into unstable?

There is a current thread on the debian-ada list to that effect, and I
think with Build-Depends on gnat 12 instead of earlier versions GHDL is
already doing its part.

> On Fri, Dec 02, 2022 at 04:33:00AM +0100, Andreas Bombe wrote:
> > > All of that triggered so many issues that needed fixing. But I think I'm
> > > really close to finally upload working packages maybe tomorrow.
> > 
> > "Really close" was relative, but I've now finally uploaded the 2.0.0-1
> > package. Making it work with GCC 12 was definitely a journey.
> 
> Isn't it always like that? :)

Well, even in the post-2.0.0 upstream git there is no support for GCC 12
as a GHDL backend so I had to fix that myself. Reminds me that I should
open an issue for that on upstream's GitHub project.

> > Since it depends on gnat 12, it had to go into experimental for now
> > since only gnat 11 is available in unstable. If this doesn't break I'll
> > look into adding the libghdl and Python packages next, possibly
> > coordinating with the gnat 12 transition if needed.
> 
> Are we sure gnat 12 is going to make it into bookworm? Would be a pitty if
> that ends up blocking us.

GCC 12 (including GNAT) is default for bookworm and GCC 11 is supposed
to not get shipped with bookworm (#1023690). So there really is no other
way.