name=dejagnu
version=1.5.3

dlextract "https://ftp.gnu.org/gnu/$name/$name-$version.tar.gz" \
          "5bda2cdb1af51a80aecce58d6e42bd2f"
header_end

cd "$name-$version"

./configure --prefix=/tools
make; make DESTDIR="$dir_install" install

# vim:set tabstop=4 shiftwidth=4 syntax=sh et: