Lines Matching refs:GMP
1442 --with-gmp-include=DIR GMP include directory
1443 --with-gmp-lib=DIR GMP lib directory
1444 --with-gmp=DIR GMP install directory
3067 # Check whether --with-gmp was given.
3076 as_fn_error $? "Do not use --with-gmp and --with-gmp-include/--with-gmp-lib options simultaneously.
3184 # Check for CC and CFLAGS in gmp.h unless the user specified one of them
3388 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for CC and CFLAGS in gmp.h" >&5
3389 $as_echo_n "checking for CC and CFLAGS in gmp.h... " >&6; }
3398 echo "#include \"gmp.h\"" > conftest.c
3402 echo "#include \"gmp.h\"" > conftest.c
3415 # Check for validity of CC and CFLAGS obtained from gmp.h
12938 # Check GMP Header
12939 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for gmp.h" >&5
12940 $as_echo_n "checking for gmp.h... " >&6; }
12944 #include "gmp.h"
12954 as_fn_error $? "gmp.h cannot be found or is unusable." "$LINENO" 5
13319 # Check for a recent GMP
13320 # We only guarantee that with a *functional* and recent enough GMP version,
13321 # MPC will compile; we do not guarantee that GMP will compile.
13322 # In particular fat builds are broken in GMP 5.0.0
13324 # see http://gmplib.org/list-archives/gmp-bugs/2011-August/002345.html.
13325 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for recent GMP" >&5
13326 $as_echo_n "checking for recent GMP... " >&6; }
13330 #include "gmp.h"
13332 # error "Minimal GMP version is 5.0.0"
13344 as_fn_error $? "GMP version >= 5.0.0 required" "$LINENO" 5
13350 # The same remark as above for GMP applies.
13491 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for DLL/static gmp" >&5
13492 $as_echo_n "checking for DLL/static gmp... " >&6; }
13496 #include "gmp.h"
13517 as_fn_error $? "gmp is not available as a DLL: use --enable-static --disable-shared" "$LINENO" 5
13553 #include "gmp.h"
13574 as_fn_error $? "gmp is only available as a DLL: use --disable-static --enable-shared" "$LINENO" 5
Indexes created Wed Oct 07 00:25:59 UTC 2026