mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2026-02-04 07:21:40 +01:00
57 lines
1.8 KiB
Plaintext
57 lines
1.8 KiB
Plaintext
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
|
|
# Maintainer:
|
|
pkgname=idris2
|
|
pkgver=0.4.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 gmp-dev"
|
|
makedepends="bash py3-sphinx py3-sphinx_rtd_theme"
|
|
subpackages="$pkgname-doc"
|
|
source="https://github.com/idris-lang/Idris2/archive/v$pkgver/idris2-$pkgver.tar.gz
|
|
static-inline.patch"
|
|
builddir="$srcdir/Idris2-$pkgver"
|
|
|
|
case "$CARCH" in
|
|
x86) options="!check" ;; # XXX: https://github.com/idris-lang/Idris2/issues/1617
|
|
esac
|
|
|
|
# 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="
|
|
3658ae17a71a37e8f41d8008b6427e1aed50ae8d65e15f8d740ec312893fbfad936e3e84cc816a37acda914491c3bca6340bd62fedc692e057f2fde3f097aca4 idris2-0.4.0.tar.gz
|
|
28a625ba016dcb7c9e64bce92245c7a5b0eda1a7de3c9ad7db428a54d912e72fe02094a8b6d0c4a285eeb25f3aa290123fdd9f0de7d42cfcf98b3f0e3cc063ab static-inline.patch
|
|
"
|