Add 8.20 - Build MPFR

scripts/chapter8/8.20-mpfr.sh

@@ -0,0 +1,33 @@
+#!/bin/bash
+
+cd /sources
+tar xf mpfr-4.1.0.tar.xz
+cd mpfr-4.1.0
+
+./configure --prefix=/usr        \
+            --disable-static     \
+            --enable-thread-safe \
+            --docdir=/usr/share/doc/mpfr-4.1.0
+
+if [ $? -ne 0 ]
+then
+  exit 1
+fi
+
+make -j5
+
+if [ $? -ne 0 ]
+then
+  exit 1
+fi
+
+make html
+
+make check
+
+make install
+make install-html
+
+cd /sources
+rm -rf mpfr-4.1.0
+

scripts/main.sh

@@ -774,3 +774,15 @@ then
 	stop_script "chapter8/8.19-gmp.sh"
 fi
 
+# Chapter 8.20
+# ============
+echo "Building MPFR"
+su -c "bash $SCRIPT/chapter8/8.20-mpfr.sh"
+
+# Exit on error
+check_exit_code
+if [ $exit_status -ne 0 ]
+then
+	stop_script "chapter8/8.20-mpfr.sh"
+fi
+