Bug#958495: Fwd: gap-io: please update for new GAP ABI

[Bill Allombert]

On Thu, Apr 30, 2020 at 10:35:49AM +0400, Jerome BENOIT wrote:
> Dear Bill, thanks for your message.

Hello Jerome

> I understand that GAP comes now with an official ABI.

Yes, one for gap-core which is gap-kernel-7,
and one for libgap which is libgap7, but they should be
compatible.

> Currently the package gap-io depends for building on gap and gap-dev,
> while the package itself depends only on gap.

Yes. Ideally at some point it will be build against libgap, but not yet.

> You asked to make it depends on gap-kernel-7.
> My understanding is that gap-kernel-7 is not a package.

gap-kernel-7 is a virtual package provided by gap-core.

> I could build the package gap-io on a sane Sid environment (schroot)
> without modification. But, the resulting gap-io package still depends
> only depends on gap.
> Do you mean that I must add by hand libgap7 to the list of dependencies
> (as ${shlibs:Depends} does not add it) ?

No, I suggested you add gap-kernel-7 by hand instead.

There might be a way to automate this by reading
/usr/lib/gap/sysinfo.gap, recovering GAP_KERNEL_MAJOR_VERSION
and adding a dpkg substvar for gap-kernel-$GAP_KERNEL_MAJOR_VERSION

Cheers,
-- 
Bill. <ballombe at debian.org>

Imagine a large red swirl here.