-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello Bill,
thanks for your prompt reply. On 05/07/14 10:26, Bill Allombert wrote: > On Fri, Jul 04, 2014 at 11:44:26PM +0200, Jerome BENOIT wrote: >> -----BEGIN PGP SIGNED MESSAGE----- >> Hash: SHA1 >> >> Hello Bill, >> >> On 29/06/14 23:08, Bill Allombert wrote: >>> To start with GAP itself, I plan to add a symlink in GAP 4r7p5, >>> >>> /usr/lib/gap/bin/$(GAParch) -> /usr/lib/$(multiarch triplet)/gap/bin >>> and make sure packages like IO can be compiled without patching the >>> configure >>> system. >> >> I am on my way to update the GAP IO Debian package: >> the assertion ``IO can be compiled without patching the configure system'' >> is nearly true with `4r7p5-1' as AC_FIND_GAP failed at the very end: >> AC_FIND_GAP can not locate GAP's gmp.h and emit the message >> ``checking for GAP's gmp.h location... not found, GAP was compiled without >> GMP''. >> Can this easy to fix issue be fixed soon ? > > I do not understand: > Just do > ./configure_like_gap "" /usr/lib/gap > make > and everything should work. `./configure_like_gap' is specific to the GAP-IO package, for other GAP package only the classical configure may be available. The macro generally involved to set up is AC_FIND_GAP defined in `<IO>/m4/ac_find_gap.m4'. This macro determines (weakly: line 150 to 156) whether GAP was built with GMP support. Back to GAP-IO: cd <IO> ./configure --with-gaproot=/usr/lib/gap gives, as concerned GAP: checking for GAP root directory... /usr/lib/gap checking for GAP architecture... x86_64-pc-linux-gnu-gcc-default64 checking for GAP include files... /usr/lib/gap/src/compiled.h checking for GAP config.h... /usr/lib/gap/bin/x86_64-pc-linux-gnu-gcc-default64/config.h checking for GAP's gmp.h location... not found, GAP was compiled without GMP The GAP's gmp.h is not located because AC_FIND_GAP looks for for it as `/usr/lib/gap/bin/x86_64-pc-linux-gnu-gcc-default64/extern/gmp/include/gmp.h', which effectively does not exist. I guess that the folder `/usr/lib/gap/bin/<GAP triplet>/extern/' must be created, then the sub-folders `gmp/include', and then the link 'gmp.h' -> /usr/include/<Debiean triplet>/gmp.h must be set up. I am agree that this issue may be not relevant for the GAP IO package itself, but it may be for other GAP packages (e.g., float). The non location of the GMP header introduces some inconsistencies in the building process, as such it may be fixed. Best wishes, Jerome > > Cheers, > Bill. > -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJTt8RHAAoJEIC/w4IMSybjDVoH/3t03F11gB3WAx7YSK6epGc5 1znkGZWc3juRoseahOJzTtsHlIPmoffR43f4cddANwI3wS0ZutJ6PltO6K+T/EpJ SUHXpiycots8agqYTmkPalZmnhWygJCaLWe5QV1cV9cOOOwToL70MmW5EduTuhAC PC8UUtdJO/d+TvKZGA8yWOgURfJYOfw4PtHdkiDC/+yW99npbAF9dFoF3pvKKz0Z z5u/svCgfKq0rW3IEbTBRxzaxfpMP9XIPxMnjb4V2RBgV12bwFRDg/ViNrwlFqGx Q5kdLA9AE4DP2p7qHiFe7ZtMhVmo8HNJb434aN8MsgUCWRGvn0THQJDhvy1WcFo= =N39f -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
