# 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=
make install
cd ..
rm -rf mpfr-3.1.2
rm mpfr-3.1.2.tar.bz2

exit 0
