Add 8.17 - Build dejagnu

scripts/chapter8/8.17-dejagnu.sh

@@ -0,0 +1,27 @@
+#!/bin/bash
+
+cd /sources
+tar xf dejagnu-1.6.3.tar.gz
+cd dejagnu-1.6.3
+
+mkdir -v build
+cd       build
+
+../configure --prefix=/usr
+makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi
+makeinfo --plaintext       -o doc/dejagnu.txt  ../doc/dejagnu.texi
+
+if [ $? -ne 0 ]
+then
+  exit 1
+fi
+
+make install
+install -v -dm755  /usr/share/doc/dejagnu-1.6.3
+install -v -m644   doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-1.6.3
+
+make check
+
+cd /sources
+rm -rf dejagnu-1.6.3
+

scripts/main.sh

@@ -738,3 +738,15 @@ then
 	exit 1
 fi
 
+# Chapter 8.17
+# ============
+echo "Building dejagnu"
+su -c "bash $SCRIPT/chapter8/8.17-dejagnu.sh"
+
+# Exit on error
+check_exit_code
+if [ $exit_status -ne 0 ]
+then
+	stop_script "chapter8/8.17-dejagnu.sh"
+fi
+