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

2022-11-06 Thread Bill Allombert
On Sun, Nov 06, 2022 at 02:18:52PM +0100, Jerome BENOIT wrote: > Hello Bill, I got a closer look. > > It appears that [gap-]guava auxiliary binaries do not depend on gap-dev > related packages. > We must discard this dependency a part of resolving the issue. > However, these auxiliary binaries

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

2022-11-06 Thread Jerome BENOIT
Hello Bill, I got a closer look. It appears that [gap-]guava auxiliary binaries do not depend on gap-dev related packages. We must discard this dependency a part of resolving the issue. However, these auxiliary binaries are C compiled executables, that is to say that they are not scripts.

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

2022-11-03 Thread Bill Allombert
On Thu, Nov 03, 2022 at 12:25:17PM +0100, Jerome BENOIT wrote: > > > > Indeed, the GAP patch debian/patches/program-path adds > > /usr/share/gap/pkg/guava/bin/ to this list. > > > > > However only the last dir[ectory] may work on muti-architecture boxes. > > > Here we would need a

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

2022-11-03 Thread Jerome BENOIT
Hello Bill, thanks for your reply. On 03/11/2022 11:49, Bill Allombert wrote: On Wed, Nov 02, 2022 at 11:13:07AM +0100, Jerome BENOIT wrote: Hello Bill, thanks for your message. Hello Jerome, Please keep in mind that the BTS does not forward email to the submitter so you always need to CC

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

2022-11-03 Thread Bill Allombert
On Wed, Nov 02, 2022 at 11:13:07AM +0100, Jerome BENOIT wrote: > Hello Bill, thanks for your message. Hello Jerome, Please keep in mind that the BTS does not forward email to the submitter so you always need to CC them otherwise they will not see your answer! I only found it by luck, because I

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

2022-11-02 Thread 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

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

2022-11-02 Thread Bill Allombert
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