Bug#1023313: gap-guava-bin: do not hardcode kv7 in path without depend on gap-kernel-7

[Jerome BENOIT]

Hello Bill, thanks for your message.

I was trying to fix the issue when you sent the report.
I isolated the issue as you did.

Solution 1) would the solution on box with one architecture, not on box with multi-architectures.
The package test relies DirectoriesPackagePrograms gap procedure (see debian/tests/makecheck.tst )

In Sid environment as provided by autopkgtest(1),

DirectoriesPackagePrograms( "guava" )

gives

[ dir("/usr/share/gap/pkg/guava/bin/"), dir("/usr/share/gap/pkg/guava/bin/x86_64-pc-linux-gnu-default64-kv8/") ]

which is in agreement with your comments.

However only the last dir[ectory] may work on muti-architecture boxes.
Here we would need a "/usr/share/gap/pkg/guava/bin/<arch-triplet> between the two current ones:
can gap support this ?


Meanwhile (before reading your report) I gave a new try by imposing gap >= 4.12 .


Best wishes,
Jerome

On Wed, 2 Nov 2022 10:10:48 +0100 Bill Allombert <ballombe at debian.org> wrote:
> Package: gap-guava-bin
> Version: 3.17+ds-2
> Severity: normal
> 
> Dear Debian Science Maintainers,
> 
> gap-guava-bin includes the directory
> /usr/lib/gap/pkg/guava/bin/x86_64-pc-linux-gnu-default64-kv7
> but does not depend on gap-kernel-7.
> 
> 1) As far as I can see, the guava binaries are not linked against the gap-kernel
> so are independent of it, so the binaries should just go to
> /usr/lib/gap/pkg/guava/bin/
> 
> 2) the new gap kernel 4.12 is gap-kernel-8 and will not find binaries in
> x86_64-pc-linux-gnu-default64-kv7
> 
> 3) if for some reason, you really need x86_64-pc-linux-gnu-default64-kvN, you
> need to depend on gap-kernel-N.
> 
> Cheers,
> -- 
> Bill. <ballombe at debian.org>
> 
> Imagine a large red swirl here. 
> 
> 

-- 
Jerome BENOIT | calculus+at-rezozer^dot*net
https://qa.debian.org/developer.php?login=calculus@rezozer.net
AE28 AE15 710D FF1D 87E5  A762 3F92 19A6 7F36 C68B
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 1533 bytes
Desc: OpenPGP digital signature
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20221102/d02313cd/attachment.sig>