diff options
| author | Leif Warner | 2015-11-04 21:27:21 -0800 |
|---|---|---|
| committer | Leif Warner | 2015-11-04 21:27:21 -0800 |
| commit | 95f0f8a7fc26f75d015eacd6bca295bc410d44b6 (patch) | |
| tree | 2b730c1b660804da69000e1c53c76d086fab4cef | |
| download | aur-95f0f8a7fc26f75d015eacd6bca295bc410d44b6.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 26 |
2 files changed, 40 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..249b6a96ff42 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = idris-lightyear-git + pkgdesc = Parser combinators for Idris + pkgver = 122.04e8747 + pkgrel = 1 + url = https://github.com/ziman/lightyear + arch = i686 + arch = x86_64 + license = custom:BSD3 + depends = idris + source = git://github.com/ziman/lightyear.git + md5sums = SKIP + +pkgname = idris-lightyear-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..d1972c11741b --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,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=('i686' 'x86_64') +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 +} |