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 <ballo...@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. <ballo...@debian.org>

Imagine a large red swirl here.


--
Jerome BENOIT | calculus+at-rezozer^dot*net
https://qa.debian.org/developer.php?login=calcu...@rezozer.net
AE28 AE15 710D FF1D 87E5  A762 3F92 19A6 7F36 C68B

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

Reply via email to