A windows configure fails to set MP_INCLUDE, and therefore doesn't use
the system gmp library,
since the path to the file gmp.h uses \\ rather than /
Fixed by the following patch for gcl-2.6.10
*** configure.in.orig Fri Nov 22 11:15:36 2013
--- configure.in Fri Nov 22 11:16:46 2013
***************
*** 784,790 ****
TLIBS="$TLIBS -lgmp"
echo "#include \"gmp.h\"" >foo.c
echo "int main() {return 0;}" >>foo.c
! MP_INCLUDE=`cpp foo.c | grep /gmp.h | head -n 1 |
$AWK '{print $3}' | tr -d '"'`
rm -f foo.c,
echo "Cannot use dynamic gmp lib" , echo "Cannot use
dynamic gmp lib" ),
echo "Cannot use dynamic gmp lib" ,),
--- 784,790 ----
TLIBS="$TLIBS -lgmp"
echo "#include \"gmp.h\"" >foo.c
echo "int main() {return 0;}" >>foo.c
! MP_INCLUDE=`cpp foo.c | grep "[/\|\\]gmp.h" | head
-n 1 | $AWK '{print $3}' | tr -d '"'`
rm -f foo.c,
echo "Cannot use dynamic gmp lib" , echo "Cannot use
dynamic gmp lib" ),
echo "Cannot use dynamic gmp lib" ,),