version=1.6.3
source=(http://ftp.gnu.org/gnu/dejagnu/dejagnu-$version.tar.gz)

build() {
cd dejagnu-$version

./configure --prefix=/tools

make install

make check
}
