summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 3c83b449f534ff7b8fb521002bbecbf3f9e94458 (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
34
35
36
37
38
39
# Maintainer: kaptoxic@yahoo.com
# Contributor: kaptoxic@yahoo.com

pkgname=proofgeneral-git
pkgver=r8647.2626ed5
pkgrel=1
pkgdesc="Generic interface for proof assistants"
arch=('i686' 'x86_64')
license=('GPL')
url='http://proofgeneral.inf.ed.ac.uk/'
depends=('emacs>=24.3')
makedepends=('git')
provides=("${pkgname%-git}")
conflicts=("${pkgname%-git}")
install="${pkgname}.install"
source=('repo::git+https://github.com/ProofGeneral/PG.git')

pkgver() {
  cd "$srcdir/repo"
  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}

md5sums=('SKIP')
sha256sums=('SKIP')
sha512sums=('SKIP')

build() {
  cd "$srcdir/repo"

  make clean
  chmod +x isar/isartags
  make
}

package() {
  cd "$srcdir/repo"

  make PREFIX=${pkgdir}/usr install -j1
}