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.
