Searched refs:with_gmp (Results 1 - 1 of 1) sorted by relevance

/macosx-10.10/cxxfilt-11/cxxfilt/
H A Dconfigure1232 if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
1234 with_gmp=/usr/local
2327 if test "${with_gmp+set}" = set; then
2328 withval="$with_gmp"
2346 if test "x$with_gmp" != x; then
2347 gmplibs="-L$with_gmp/lib $gmplibs"
2348 gmpinc="-I$with_gmp/include $gmpinc"
2356 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then

Completed in 147 milliseconds