summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: f08e92849fb4c93e9038f0cb673d368f28e61a1b (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>

pkgname=autosubst-devel
_pkgname=autosubst
pkgver=1.6
pkgrel=2
pkgdesc="Automation for de Bruijn syntax and substition in Coq."
url="https://github.com/tebbi/autosubst"
arch=('i686' 'x86_64')
license=('GPL')
depends=('coq')
makedepends=('camlp5-transitional>=6.12' 'git')
source=("autosubst::git+https://github.com/tebbi/${_pkgname}#branch=coq86-devel")
sha256sums=('SKIP')
sha512sums=('SKIP')


pkgver() {
  cd "${srcdir}/${_pkgname}"
  printf "r%s.%s" "$(grep '^VERSION=' src/Makefile.ProjectInfo | cut -d = -f 2)" "$(git rev-parse --short HEAD)"
 
}

build() {
  cd $srcdir/${_pkgname}

  make
}

package(){
  cd $srcdir/${_pkgname}
  make DESTDIR=$pkgdir 'COQLIB:=$(DESTDIR)/$(shell coqtop -where)/' install
}