wget http://www.gnuwakes.org/depot/1.0/main/sources/gmp-6.0.0a.tar.xz

tar -xf gmp-6.0.0a.tar.xz

SOURCES_DIR=$PWD/gmp-6.0.0
INSTALL_DIR=$PWD/gmp-6.0.0-install
BUILD_DIR=$PWD/gmp-6.0.0-build

mkdir $INSTALL_DIR $BUILD_DIR
cd $BUILD_DIR

$SOURCES_DIR/configure --prefix=/usr --enable-cxx            \
  --docdir=/usr/share/doc/gmp-6.0.0a && make && make html && \
  make DESTDIR=$INSTALL_DIR install &&                       \
  make DESTDIR=$INSTALL_DIR install-html

# result must be 188
make check 2>&1 | tee gmp-check-log && \
  awk '/tests passed/{total+=$2} ; END{print total}' gmp-check-log