Add 8.19 - Build gmp

scripts/chapter8/8.19-gmp.sh

@@ -0,0 +1,35 @@
+#!/bin/bash
+
+cd /sources
+tar xf gmp-6.2.1.tar.xz
+cd gmp-6.2.1
+
+./configure --prefix=/usr    \
+            --enable-cxx     \
+            --disable-static \
+            --docdir=/usr/share/doc/gmp-6.2.1
+
+if [ $? -ne 0 ]
+then
+  exit 1
+fi
+
+make -j5
+
+if [ $? -ne 0 ]
+then
+  exit 1
+fi
+
+make html
+
+make check 2>&1 | tee gmp-check-log
+
+awk '/# PASS:/{total+=$3} ; END{print total}' gmp-check-log
+
+make install
+make install-html
+
+cd /sources
+rm -rf gmp-6.2.1
+

scripts/main.sh

@@ -762,4 +762,15 @@ then
 	stop_script "chapter8/8.18-binutils.sh"
 fi
 
+# Chapter 8.19
+# ============
+echo "Building GMP"
+su -c "bash $SCRIPT/chapter8/8.19-gmp.sh"
+
+# Exit on error
+check_exit_code
+if [ $exit_status -ne 0 ]
+then
+	stop_script "chapter8/8.19-gmp.sh"
+fi