wget http://www.gnuwakes.org/depot/1.0/main/sources/mpfr-3.1.2.tar.xz

tar -xf mpfr-3.1.2.tar.xz

wget http://www.gnuwakes.org/depot/1.0/main/sources/mpfr.patch
cd mpfr-3.1.2
patch -p1 < ../mpfr.patch 
cd ..

SOURCES_DIR=$PWD/mpfr-3.1.2
INSTALL_DIR=$PWD/mpfr-3.1.2-install
BUILD_DIR=$PWD/mpfr-3.1.2-build

mkdir $INSTALL_DIR $BUILD_DIR
cd $BUILD_DIR

$SOURCES_DIR/configure --prefix=/usr --enable-thread-safe    \
  --docdir=/usr/share/doc/mpfr-3.1.2 && make && make html && \
  make check && make DESTDIR=$INSTALL_DIR install &&         \
  make DESTDIR=$INSTALL_DIR install-html