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 +