From 0426b5af7daacc1275dbd7478accb2f2c9e631d8 Mon Sep 17 00:00:00 2001
From: Aditya <bluenerd@protonmail.com>
Date: Tue, 10 Jan 2023 15:46:58 +0530
Subject: [PATCH] Add 8.17 - Build dejagnu

---
 scripts/chapter8/8.17-dejagnu.sh | 27 +++++++++++++++++++++++++++
 scripts/main.sh                  | 12 ++++++++++++
 2 files changed, 39 insertions(+)
 create mode 100644 scripts/chapter8/8.17-dejagnu.sh

diff --git a/scripts/chapter8/8.17-dejagnu.sh b/scripts/chapter8/8.17-dejagnu.sh
new file mode 100644
index 0000000..48b2b6d
--- /dev/null
+++ b/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
+
diff --git a/scripts/main.sh b/scripts/main.sh
index c0ec464..863bd57 100644
--- a/scripts/main.sh
+++ b/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
+