# Exit on error:
set -e

wget http://ftpmirror.gnu.org/mpfr/mpfr-3.1.2.tar.bz2
tar xf mpfr-3.1.2.tar.bz2
cd mpfr-3.1.2

./configure \
    --prefix=/usr

make
make install

cd ..
exit 0
