Searched refs:with_gmp (Results 1 – 3 of 3) sorted by relevance
920 if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \922 with_gmp=/usr/local1438 if test "x$with_gmp" != x; then1439 gmplibs="-L$with_gmp/lib $gmplibs"1440 gmpinc="-I$with_gmp/include $gmpinc"1448 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then
3592 if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \3594 with_gmp=/usr/local5459 withval=$with_gmp;5476 if test "x$with_gmp" != x; then5477 gmplibs="-L$with_gmp/lib $gmplibs"5478 gmpinc="-I$with_gmp/include $gmpinc"5486 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then
5465 (*-*-freebsd*): Use with_gmp.