On Sun, Apr 18, 2021 at 06:21:14PM +0200, Jerome Benoit wrote: > Package: gap-core > Version: 4r10p0-7
Hello Jerome, 4r10p0-7 is not the version in sid ? > 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 ? Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.
