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 "/usr/share/gap/pkg/guava/bin/<arch-triplet> between 
> > > the two current ones:
> > > can gap support this ?
> > 
> > GAP does not have the notion of the Debian triplet, so it is difficult to 
> > write a patch
> > to add /usr/share/gap/pkg/guava/bin/$(DEBIAN_TRIPLET)/
> 
> I guess that a patch can be written to do so.

This probably requires changing the C code to define a new 
GAPInfo.DEB_HOST_MULTIARCH field.
Do you have a better idea ?

> > There is a single /usr/bin for all archs, so in particular a single 
> > /usr/bin/gap,
> > so I do not see why we need to support several /usr/share/gap/pkg/guava/bin,
> > especially since mismatched gap-core and gap-guava-bin should work.
> 
> Along this reasonning, 
> /usr/share/gap/pkg/guava/bin/x86_64-pc-linux-gnu-default64-kv8/ has no use.

Indeed. gap only need to support it for compatibility with non-debian-packaged 
gap packages,
that uses this kind of directory name.

> Please let me fix this guava issue by the week-end.

OK, thanks!
Bill.

Reply via email to