name=dejagnu
version=1.5.1

dlextract "http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz" \
          "8386e04e362345f50ad169f052f4c4ab"

cd "$name-$version"

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

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