git » dejagnu.git » main » tree

[main] / PKGBUILD 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
pkgname=dejagnu
pkgver=1.6.3
pkgrel=1
arch=('armv7h' 'aarch64')
license=('unknown')
source=("$pkgname-$pkgver.tar.gz")
depends=(glibc)

build() {
	cd "$pkgname-$pkgver"
	mkdir -p build
	cd build
	../configure --prefix=/usr
	makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi
	makeinfo --plaintext       -o doc/dejagnu.txt  ../doc/dejagnu.texi

}

package() {
	cd "$pkgname-$pkgver/build"
	make DESTDIR="$pkgdir/" install
	install -v -dm755  "$pkgdir"/usr/share/doc/dejagnu-1.6.3
	install -v -m644   doc/dejagnu.{html,txt}  "$pkgdir"/usr/share/doc/dejagnu-1.6.3
}
sha256sums=('87daefacd7958b4a69f88c6856dbd1634261963c414079d0c371f589cd66a2e3')