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

build() {
	cd $name-$version
	./configure --prefix=/tools
	make install
}