[Pkg-electronics-devel] GNAT 12 and GHDL

[Nicolas Boulenguez]

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

Ghdl/2.0.0+dfsg-2 in experimental Build-Depends:
  gnat (>= 12), gnat (<< 13~),
  gcc-12-source <!pkg.ghdl.nogcc>,
This is not necessary.
The Ada policy requires that Ada *libraries* build-depend on
  gnat (>= 12), gnat (<< 13~)    (formerly gnat, gnat-12)
and normal Ada executables build-depend on gnat (as a consequence,
often necessary and good practice, but not the original requirement).

GHDL is a very special case.  It does need an explicit gnat version,
and does not interact with packaged Ada libraries (or executables) (as
far as I know).

I suggest that you upload to unstable a version of ghdl
build-depending on gnat-12 (not 'gnat').  It should reach testing
independently of the other Ada packages (and shouldn’t block them).

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

gnat-12 *will* be part of next release as part of the GCC collection.

gnat-11 *may* be part of next release if
* all goes wrong for other Ada packages
* gnat stil depends on gnat-11 in unstable when testing is frozen
* the GCC maintainers grant us an exception
Even then, GHDL should ideally not be affected.