yann@3226: --- a/m4/ac_check_gmp.m4~	2011-02-27 04:07:47.000000000 -0500
yann@3226: +++ b/m4/ac_check_gmp.m4	2013-07-10 19:57:35.894457259 -0400
yann@3226: @@ -32,6 +32,9 @@
yann@3226:      with_libgmpxx_prefix="$with_libgmp_prefix"
yann@3226:    fi
yann@3226:  fi
yann@3226: +CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
yann@3226: +CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
yann@3226: +LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
yann@3226:  
yann@3226:  AC_ARG_WITH(gmp-build,
yann@3226:    AS_HELP_STRING([--with-gmp-build=DIR],
yann@3226: --- a/configure~	2011-02-27 04:07:47.000000000 -0500
yann@3226: +++ b/configure		2013-07-10 19:57:35.894457259 -0400
yann@3226: @@ -10217,6 +10217,9 @@
yann@3226:      with_libgmpxx_prefix="$with_libgmp_prefix"
yann@3226:    fi
yann@3226:  fi
yann@3226: +CPPFLAGS="$CPPFLAGS -I$with_libgmp_prefix/include"
yann@3226: +CXXFLAGS="$CXXFLAGS -I$with_libgmpxx_prefix/include"
yann@3226: +LDFLAGS="$CPPFLAGS -L$with_libgmpxx_prefix/lib -L$with_libgmp_prefix/lib"
yann@3226:  
yann@3226:  
yann@3226:  # Check whether --with-gmp-build was given.