Searched refs:with_gmp (Results 1 – 3 of 3) sorted by relevance
1053 if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \1055 with_gmp=/usr/local1592 if test "x$with_gmp" != x; then1593 gmplibs="-L$with_gmp/lib $gmplibs"1594 gmpinc="-I$with_gmp/include $gmpinc"1602 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then
3717 if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \3719 with_gmp=/usr/local5605 withval=$with_gmp;5622 if test "x$with_gmp" != x; then5623 gmplibs="-L$with_gmp/lib $gmplibs"5624 gmpinc="-I$with_gmp/include $gmpinc"5632 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then
5854 (*-*-freebsd*): Use with_gmp.