diff options
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 27 |
2 files changed, 44 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..cd0e84b12117 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = idris-sdl-git + pkgdesc = SDL bindings package for Idris. + pkgver = 28.c71dd53 + pkgrel = 1 + url = https://github.com/edwinb/SDL-idris + arch = i686 + arch = x86_64 + license = custom:BSD3 + depends = idris + depends = sdl_gfx + provides = idris-sdl + conflicts = idris-sdl + source = git://github.com/edwinb/SDL-idris.git + md5sums = SKIP + +pkgname = idris-sdl-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..bd68dcc98e14 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,27 @@ +# Maintainer: Leif Warner <abimelech@gmail.com> +pkgname=idris-sdl-git +pkgver=28.c71dd53 +pkgrel=1 +pkgdesc="SDL bindings package for Idris." +url="https://github.com/edwinb/SDL-idris" +license=('custom:BSD3') +arch=('i686' 'x86_64') +depends=('idris' 'sdl_gfx') +provides=('idris-sdl') +conflicts=('idris-sdl') +source=('git://github.com/edwinb/SDL-idris.git') +md5sums=('SKIP') +_gitname=SDL-idris + +pkgver() { + cd $_gitname + echo "$(git rev-list --count HEAD).$(git rev-parse --short HEAD)" +} +build() { + cd $_gitname + idris --build sdl.ipkg +} +package() { + cd $_gitname + TARGET=$pkgdir`idris --libdir` idris --install sdl.ipkg +} |