[Pkg-electronics-devel] GNAT 12 and GHDL

[Andreas Bombe]

On Wed, Dec 07, 2022 at 09:03:17PM +0100, Nicolas Boulenguez wrote:
> > > > 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).

This will not work, I can't upload to unstable until the gnat package
version 12 also reaches unstable. I use
/usr/share/ada/debian_packaging.mk to set up parallel building of the
Ada parts (though I have to check if that actually does what it is
supposed to).

So I need to Build-Depends on gnat which contains that file, which is
version 11 in unstable and depends on gnat-11, which conflicts with
gnat-12. I changed to depending on gnat instead of gnat-$VER just for
that file because it is not provided in gnat-$VER anymore. Maybe I
should get rid of debian_packaging.mk instead, then the Build-Depends on
gnat-12 should work again.