version=1.5.3
source=(\
http://ftp.gnu.org/gnu/dejagnu/dejagnu-$version.tar.gz )
derle()
{
cd dejagnu-$version
./configure --prefix=/tools
make install
make check
}