blob: 4d206c62f09df426291d5e94740e75a8da296e25 (
plain)
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
|
# Maintainer: William J Bowman <aur@williamjbowman.com>
# Contributor: Patrick Palka <patrick@parcs.ath.cx>
# Contributor: dimino jeremie <jeremie@dimino.org>
pkgname=proofgeneral
pkgver=4.4
pkgrel=1
pkgdesc='Generic interface for proof assistants.'
arch=('i686' 'x86_64')
license=('GPL')
url='https://proofgeneral.github.io/'
depends=('emacs>=24.3')
install="${pkgname}.install"
source=("https://github.com/ProofGeneral/PG/archive/v${pkgver}.tar.gz")
md5sums=('4a80e31f88cb22d7caa6f28ba83dcc06')
sha256sums=('1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e')
sha512sums=('8be7f78b61a225fa4770698bbbb251424a0afe093efc3229f74f3a764317dc8cc00a72cb29e751f755dc5fdab59983906c9185f7828a1644a87d160265f12061')
build() {
cd "$srcdir/PG-${pkgver}"
make clean
chmod +x isar/isartags
make
}
package() {
cd "$srcdir/PG-${pkgver}"
make PREFIX=${pkgdir}/usr install -j1
}
|