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

# Maintainer: Leif Warner <abimelech@gmail.com>
_gitname=lightyear
_authorName=ziman
pkgname=idris-$_gitname-git
pkgver=122.04e8747
pkgrel=1
pkgdesc="Parser combinators for Idris"
url="https://github.com/$_authorName/$_gitname"
license=('custom:BSD3')
arch=('any')
depends=('idris')
source=("git://github.com/$_authorName/$_gitname.git")
md5sums=('SKIP')

pkgver() {
  cd $_gitname
  echo "$(git rev-list --count HEAD).$(git rev-parse --short HEAD)"
}
build() {
  cd $_gitname
  idris --build $_gitname.ipkg
}
package() {
  cd $_gitname
  TARGET=$pkgdir`idris --libdir` idris --install $_gitname.ipkg
}