1 files changed, 27 insertions, 0 deletions
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
+}