On Sat, Jul 05, 2014 at 01:43:10PM +0200, Bill Allombert wrote: > > AC_FIND_GAP is used by some GAP package, so the issue does not concern only > > GAP-IO. > > Even if I am agree to say that the implemented location of gmp.h is weak, > > it seems > > nevertheless that an external include hierarchy is expected in > > `/usr/lib/gap/bin/<GAP triplet>/extern'. > > If this assertion is true, then the --with-gmp=system in GAP does not > > complete its jobs properly, > > so it might be a bug in the GAP source itself --- after all, it is GAP > > itself > > that may point the GMP material with which it was built. > > I do not see how gap can generate the extern hierarchy when using > --with-gmp=system and doing so would be very awkward, and I would rather not > support it in Debian anyway. > > > What do you think ? > > I reported the bug upstream.
The upstream bug is at <https://github.com/neunhoef/io/issues/15> and is marked as closed. However I do not know whether the fix adresses your concern. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
