[Pkg-electronics-devel] GNAT 12 and GHDL

[Daniel Gröber]

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?

On Fri, Dec 02, 2022 at 04:33:00AM +0100, Andreas Bombe wrote:
> > I also used your debian/rules changes for propagating exit codes
> > properly, and that showed a few more errors that needed fixing on my
> > side. Plus I was switching the toolchain to gcc/gnat-11, and now I
> > figured out that gcc-11 is also supposed to be dropped and I switched
> > again to gcc/gnat-12.

Can you link to where this was announced? I'm just wondering if gcc-11 is
just discouraged or not allowed and why there isn't an open bug for gnat to
make the switch yet.

> > 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? :)

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

--Daniel