blob: bd68dcc98e1416232e537c376f3ae27010086b8e (
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
|
# 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
}
|