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
26
27
28
29
30
31
32
33
34
35
36

# Maintainer: aksr <aksr at t-com dot me>
pkgname=metamath
pkgver=0.199
pkgrel=1
pkgdesc="A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified."
arch=('i686' 'x86_64')
url="http://us.metamath.org/"
license=('GPL')
install="${pkgname}".install
source=("http://us.metamath.org/downloads/$pkgname.tar.bz2"
	"http://us.metamath.org/downloads/$pkgname.pdf")
md5sums=('3af94ecce7d4222cf77bcc045bb6ceb8'
         '662338c650f0be10cc53530cf4b70d09')
sha1sums=('2a3e591210649b640508f2ff44ddc2d97bbeb2bf'
          '3c69dcd66b8d31ae7acce490061c59199c6ad7ad')
sha256sums=('c746f49a4b6c8b44cfe26ad3de0578fae9d4a5792479e8111abda79dd0260482'
            '245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059')

build() {
	cd "$srcdir/$pkgname"
	autoreconf -i
	./configure --prefix=/usr
	make
}

check() {
	cd "$srcdir/$pkgname"
	make -k check
}

package() {
	cd "$srcdir/$pkgname"
	make DESTDIR="$pkgdir/" install
	install -D -m644 README.TXT $pkgdir/usr/share/doc/$pkgname/README
	install -D -m644 ../metamath.pdf $pkgdir/usr/share/doc/$pkgname/metamath.pdf
}