eth0s/toolchain/10-dejagnu

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
}
major changes, use pkgutils as package manager 2019-09-28 00:17:56 +08:00			`name=dejagnu`
			`version=1.6.2`
			`source=(http://ftp.gnu.org/gnu/dejagnu/dejagnu-$version.tar.gz)`
updated 2018-12-01 00:12:45 +08:00
major changes, use pkgutils as package manager 2019-09-28 00:17:56 +08:00			`build() {`
			`cd $name-$version`
updated 2018-12-01 00:12:45 +08:00			`./configure --prefix=/tools`
			`make install`
major changes, use pkgutils as package manager 2019-09-28 00:17:56 +08:00			`}`