------- Comment #2 from schnetter at aei dot mpg dot de 2007-05-01 22:37 ------- I configured with the options
~/src/gcc/configure --prefix=$HOME/gcc --with-gmp=/opt/local --with-mpfr=/opt/local (outside the source tree). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31776
