# -----------------------------------------------------------------------------
# DejaGnu 1.4.4
# -----------------------------------------------------------------------------
### this is not a script but an step-by-step howto
exit 0

# DejaGnu-1.4.4           ftp://ftp.gnu.org/gnu/dejagnu/

### download
wget ftp://ftp.gnu.org/gnu/dejagnu/dejagun-1.4.4.tar.gz


### extract
tar xzf dejagun-1.4.4.tar.gz
cd dejagnu-1.4.4

### build
configure --prefix=/usr
make
make check


### install
make DESTDIR=/public/dejagnu install