GMP 5.1.1 cd $HOME/build rm -rf gmp-5.1.1 wget -O - ftp://ftp.gnu.org/gnu/gmp/gmp-5.1.1.tar.bz2 | bzip2 -dc | tar xf - cd gmp-5.1.1 ./configure --prefix=$PREFIX/gcc-4.7.3 --enable-cxx make -j4 make -j4 check sudo make install MPFR 3.1.1 cd $HOME/build rm -rf mpfr-3.1.1 wget -O - http://www.mpfr.org/mpfr-3.1.1/mpfr-3.1.1.tar.bz2 | bzip2 -dc | tar xf - cd mpfr-3.1.1 ./configure --prefix=$PREFIX/gcc-