On Sat, Jul 05, 2014 at 11:24:37AM +0200, Jerome BENOIT wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > Hello Bill, > > thanks for your prompt reply. > > 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
> 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. GAP does not provide a file gmp.h. Instead, this file is part of libgmp-dev. GAP is configured in with --with-gmp=system which is a supported configuration. AC_FIND_GAP is not shipped with GAP so it is a bug in IO. Cheers, -- Bill. <[email protected]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
