diff options
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | PKGBUILD | 70 |
3 files changed, 87 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..24a59b54e125 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = idris2-git + pkgdesc = Funtional Programming Lanugage with Dependent Types + pkgver = 0.2.0.r30.g8b062f4 + pkgrel = 1 + url = https://www.idris-lang.org/ + arch = x86_64 + license = custom + makedepends = git + depends = chez-scheme + provides = idris2 + conflicts = idris2 + source = git+https://github.com/idris-lang/idris2.git + md5sums = SKIP + +pkgname = idris2-git + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..72e8ffc0db8a --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +* diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..df9c69a4a1d5 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,70 @@ +# +# Maintainer: Mark Barbone <mark.l.barbone at gmail> +# + +pkgname=idris2-git +pkgver=0.2.0.r30.g8b062f4 +pkgrel=1 +pkgdesc="Funtional Programming Lanugage with Dependent Types" +url="https://www.idris-lang.org/" +license=('custom') +arch=('x86_64') +depends=('chez-scheme') +makedepends=('git') +provides=('idris2') +conflicts=('idris2') +source=('git+https://github.com/idris-lang/idris2.git') +md5sums=('SKIP') + +_srcname="idris2" + +pkgver() { + cd idris2 + git describe --long | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g' +} + +build() { + cd "$srcdir/$_srcname" + + # Parallel builds cause problems + unset MAKEFLAGS + + export SCHEME=scheme + + mkdir -p "$srcdir/bootstrap" + PREFIX="$srcdir/bootstrap" make bootstrap + PREFIX="$srcdir/bootstrap" make install + make clean + + PATH="$srcdir/bootstrap/bin:$PATH" \ + LD_LIBRARY_PATH="$srcdir/bootstrap/lib:$LD_LIBRARY_PATH" \ + PREFIX=/usr/lib \ + make +} + +package() { + cd "$srcdir/$_srcname" + + unset MAKEFLAGS + export SCHEME=scheme + + PREFIX="$pkgdir/usr/lib" make install-idris2 + PREFIX="$pkgdir/usr/lib" make install-support + for lib in prelude base network contrib ; do + cd libs/$lib + IDRIS2_PREFIX="$pkgdir/usr/lib" ../../build/exec/idris2 --install $lib.ipkg + cd ../.. + done + + # clean up install + mkdir -p "$pkgdir/usr/bin" + mv "$pkgdir/usr/lib/bin/idris2_app/idris2.so" "$pkgdir/usr/bin/idris2" + rm -r "$pkgdir/usr/lib/bin" + mv "$pkgdir"/usr/lib/{lib/,}libidris2_support.so + rmdir "$pkgdir"/usr/lib/lib + + # Fix permissions + find "$pkgdir" -type d -exec chmod 755 {} \; + + install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} |