Lines Matching refs:gmp
25 --with-gmp-dir=PATH Specify source directory for GMP library"
27 --with-gmp=PATH Specify directory for installed GMP library"
1207 && test -f /usr/local/include/gmp.h; then
2257 # check for this first so it ends up on the link line before gmp.
2284 # Specify a location for gmp
2285 # Check whether --with-gmp-dir or --without-gmp-dir was given.
2304 # Check whether --with-gmp or --without-gmp was given.
2319 echo $ac_n "checking for correct version of gmp.h""... $ac_c" 1>&6
2320 echo "configure:2317: checking for correct version of gmp.h" >&5
2324 #include "gmp.h"
2353 #include <gmp.h>