# 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= \
    --enable-cxx

make install
cd ..
rm -rf gmp-5.1.3
rm gmp-5.1.3.tar.bz2

exit 0
