summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authormb642020-05-26 23:21:00 -0400
committermb642020-05-26 23:21:00 -0400
commit0da10a0f7c27b9bfaff93f7ac073529daef52733 (patch)
tree95aafa991236c2a87f9fcf90ad13cd37cf32213e
downloadaur-0da10a0f7c27b9bfaff93f7ac073529daef52733.tar.gz
Initial commit
-rw-r--r--.SRCINFO16
-rw-r--r--.gitignore1
-rw-r--r--PKGBUILD70
3 files changed, 87 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..24a59b54e12
--- /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 00000000000..72e8ffc0db8
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..df9c69a4a1d
--- /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"
+}