# Exit on error:
set -e

wget http://ftpmirror.gnu.org/gmp/gmp-5.1.3.tar.bz2
tar xf gmp-5.1.3.tar.bz2
cd gmp-5.1.3

./configure \
    --prefix=/usr \
    --enable-cxx

make
make install

cd ..
exit 0
