aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris2/APKBUILD
diff options
context:
space:
mode:
authorSören Tempel <soeren+git@soeren-tempel.net>2021-02-28 19:37:09 +0100
committerSören Tempel <soeren+alpine@soeren-tempel.net>2021-04-09 18:28:26 +0000
commit779a93d44c0ded4891e2096e5ef5300416abfb21 (patch)
tree9731c0845d712bb83a5ad57b913a75ce9faef1f6 /testing/idris2/APKBUILD
parent4baf7f3101fd513cd4e54f03cf1874684727a578 (diff)
downloadaports-779a93d44c0ded4891e2096e5ef5300416abfb21.tar.gz
aports-779a93d44c0ded4891e2096e5ef5300416abfb21.tar.bz2
aports-779a93d44c0ded4891e2096e5ef5300416abfb21.tar.xz
testing/idris2: new aport
Diffstat (limited to 'testing/idris2/APKBUILD')
-rw-r--r--testing/idris2/APKBUILD55
1 files changed, 55 insertions, 0 deletions
diff --git a/testing/idris2/APKBUILD b/testing/idris2/APKBUILD
new file mode 100644
index 0000000000..668ac6b535
--- /dev/null
+++ b/testing/idris2/APKBUILD
@@ -0,0 +1,55 @@
+# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
+# Maintainer:
+pkgname=idris2
+pkgver=0.3.0
+pkgrel=0
+pkgdesc="Purely functional programming language with first class types"
+url="https://www.idris-lang.org"
+arch="x86 x86_64" # limited by chez-scheme
+license="BSD-3-Clause"
+depends="chez-scheme"
+makedepends="bash py3-sphinx py3-sphinx_rtd_theme"
+subpackages="$pkgname-doc"
+options="!check" # TODO
+source="https://github.com/idris-lang/Idris2/archive/v$pkgver/idris2-$pkgver.tar.gz
+ 0001-Flush-standard-out-after-writing-prompt-to-it.patch
+ 0002-Better-default-permissions-for-created-directories.patch
+ 0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch"
+builddir="$srcdir/Idris2-$pkgver"
+
+# TODO: Install idris libs to /usr/lib/idris-$pkgver instead of /usr/idris-$pkgver
+# TODO: Make all tests pass
+# TODO: Self-hosting step (maybe split into idris2 and idris2-bootstrap?)
+# TODO: Install the Idris 2 API (make install-api)
+
+# TODO: https://github.com/idris-lang/Idris2/issues/737
+# TODO: https://github.com/idris-lang/Idris2/pull/1123
+
+build() {
+ # Bootstrap Idris 2 compiler from scheme sources.
+ make -j1 bootstrap PREFIX=/usr SCHEME=chez
+
+ # Create HTML documentation.
+ make -C docs html
+}
+
+check() {
+ make -j1 bootstrap-test
+}
+
+package() {
+ # Idris2 Makefile doesn't honor ${DESTDIR}
+ make IDRIS2_PREFIX="$pkgdir/usr" \
+ PREFIX="$pkgdir/usr" install
+
+ # Install additional documentation files
+ mkdir -p "$pkgdir"/usr/share/doc/$pkgname/
+ install -m644 CHANGELOG.md CONTRIBUTING.md \
+ CONTRIBUTORS README.md "$pkgdir"/usr/share/doc/$pkgname/
+ cp -r docs/build/html "$pkgdir"/usr/share/doc/$pkgname/
+}
+
+sha512sums="465153b1d39b0e9a5195ecd836a6e678469b73f619e82c64dab87bdf61c0a6222972a5a65a46fa3ee3ac2342e93e9dfda316eedae59a29bcaf86ff046ef6bb04 idris2-0.3.0.tar.gz
+2b84e01da8afcd0e2631f153b1b6ffab9db11385b4dc6bdcb6a9be6b13546300c765717b5766dbaced013f7cc914aec19ef8bbd5cddbc56bd9514a5c0cac3e76 0001-Flush-standard-out-after-writing-prompt-to-it.patch
+43bfd62529d2188dd3093f3c729441ce365aaf60a0cc5b3107b74ae29bf58ecac5ebbd7eaf31b9761788255bebcbc98e8749fc80618b41d1bfe62fb1784a0295 0002-Better-default-permissions-for-created-directories.patch
+0e25a363c447cdac6b32fc4f322cb2be8b57f3d7a8dcb42244b8738941c757a06c6f76e3ca96447f3325794e0089c9468db322c0f5b94230d62919f17b3229eb 0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch"