Hello Bill, thanks for the correction and sorry for my late reaction. I have just updated the gap-io package accordingly. All looks fine. Meanwhile I have noticed that /usr/lib/gap/sysinfo.gap and /usr/lib/x86_64-linux-gnu/gap/sysinfo.gap are actually the same files. Cheers, Jerome
On Fri, 24 Sep 2021 13:27:28 +0200 Bill Allombert <ballo...@debian.org> wrote:
Le Sun, Apr 18, 2021 at 08:40:41PM +0200, Jerome BENOIT a écrit : Hello Jerome, I am working on updating GAP to 4.11.1, sorry for the delay. > > > I have just packaged the last version 4.7.1 of gap-io. > > > Its build machinery has changed. It now uses a Gap makefile Makefile.gappkg . > > > This makefile implicitly assumes (?=) that the gap and gac are into GAPPATH > > > as passed at configuration time. The GAPPATH is /usr/lib/gap or /usr/lib/<triplet>/gap : > > > the former contains gac, the latter gap. It would be nice to have > > > both > at least > > > in one of the GAPPATH.> > > > Why not set GAPPATH to /usr/bin then ? > > Because GAPPATH is also used to get access to sysinfo.gap .OK, so if I move gac to /usr/lib/<triplet>/gap, will it work ? 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
OpenPGP_signature
Description: OpenPGP digital signature
