diff options
| author | loftsmen | 2019-04-05 10:16:03 +1100 |
|---|---|---|
| committer | loftsmen | 2019-04-06 18:23:34 +1100 |
| commit | 037d8856671e01963bf151bc5739e66931b31a43 (patch) | |
| tree | 70051adb36bfe2c93038c731e301d355d822e904 | |
| download | aur-037d8856671e01963bf151bc5739e66931b31a43.tar.gz | |
Initial PKGBUILD commit for the Felix programming language
| -rw-r--r-- | .SRCINFO | 21 | ||||
| -rw-r--r-- | .gitignore | 3 | ||||
| -rw-r--r-- | PKGBUILD | 34 |
3 files changed, 58 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..3b7c6293bcae --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,21 @@ +pkgbase = felix + pkgdesc = The Felix programming language + pkgver = 2019.01.06.r79.gd78b73884 + pkgrel = 1 + url = https://github.com/felix-lang/felix + arch = x86_64 + license = Felix is free for any use. + makedepends = ocaml + depends = python3 + depends = gcc + depends = gmp + depends = gsl + depends = sdl2 + depends = sdl2_ttf + depends = sdl2_gfx + depends = sdl2_image + source = felix::git+https://github.com/felix-lang/felix + sha512sums = SKIP + +pkgname = felix + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..a136f32fffea --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +felix/ +src/ +felix*.pkg.tar.xz diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..710bbef68fca --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,34 @@ +# Maintainer: Tony Nguyen <v35gtr@hotmail.com> +pkgname=felix +pkgver=2019.01.06.r79.gd78b73884 +pkgrel=1 +pkgdesc='The Felix programming language' +arch=('x86_64') +url='https://github.com/felix-lang/felix' +license=('Felix is free for any use.') +depends=('python3' 'gcc' 'gmp' 'gsl' 'sdl2' 'sdl2_ttf' 'sdl2_gfx' 'sdl2_image') +makedepends=('ocaml') +source=("${pkgname}::git+https://github.com/felix-lang/felix") +sha512sums=('SKIP') + +prepare() { + cd "$pkgname" + + # SDL2 on Arch is installed at /usr instead of /usr/local + sed -i 's|usr/local|usr|g' src/packages/sdl.fdoc +} + +pkgver() { + cd "$pkgname" + git describe --long | sed 's/\([^-]*-g\)/r\1/;s/-/./g' +} + +build() { + cd "$pkgname" + make +} + +package() { + cd "$pkgname" + make PREFIX="$pkgdir/usr/local" install +} |