Commit 532b1525 authored by River Dillon's avatar River Dillon Committed by Leo
Browse files

testing/agda: new aport

https://wiki.portal.chalmers.se/agda/pmwiki.php


dependently typed functional programming language
Co-authored-by: Leo's avatarLeo <thinkabit.ukim@gmail.com>
parent 8a808292
Pipeline #77117 failed with stages
in 25 minutes and 4 seconds
# Contributor: River Dillon <river@outerpassage.net>
# Maintainer: River Dillon <river@outerpassage.net>
pkgname=agda
pkgver=2.6.1.3
pkgrel=0
pkgdesc="dependently typed functional programming language"
options="net" # Requires contact haskell
url="https://wiki.portal.chalmers.se/agda/pmwiki.php"
arch="x86_64" # Limited by 'ghc'
license="agda"
makedepends="
ghc
cabal
zlib-dev
ncurses-dev
icu-dev
py3-sphinx
py3-sphinx_rtd_theme
bash
imagemagick
"
subpackages="$pkgname-doc"
source="$pkgname-$pkgver.tar.gz::https://github.com/agda/agda/archive/refs/tags/v$pkgver.tar.gz"
export CABAL_DIR="$srcdir/cabal"
export PATH="$PATH:$CABAL_DIR/bin"
# Agda provides a 'test' target in the makefile, but I haven't been able to get
# it working yet. Agda should support the nix-style cabal commands soon, which
# will make this easier.
options="$options !check"
prepare() {
default_prepare
cabal v2-update
touch doc/user-manual.pdf # hack
cabal v2-install -j --only-dependencies
cabal v2-install alex happy # just to add to path
}
build() {
ghcver=$(runhaskell --version | awk '{print $2;}') # GHC version
runhaskell Setup.hs configure \
"--package-db=$CABAL_DIR/store/ghc-$ghcver/package.db" \
"--prefix=/usr" \
"--datasubdir=$pkgname" \
"--docdir=\$datadir/doc/$pkgname"
runhaskell Setup.hs build -j "--ghc-options=-j -O1"
make user-manual-pdf
make user-manual-html
}
package() {
# copy everything
runhaskell Setup.hs copy "--destdir=$pkgdir"
# install license in the correct location
rm -r "$pkgdir/usr/share/doc"
install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
# don't need development files
rm -r "$pkgdir/usr/lib"
# documentation
install -Dm644 "doc/user-manual.pdf" \
"$pkgdir/usr/share/doc/$pkgname/pdf/user-manual.pdf"
cp -r "doc/user-manual/_build/html" "$pkgdir/usr/share/doc/$pkgname/html"
}
sha512sums="3c9ca47181aca143f717642c143fb6a8124eb0cffec2b2f05e7b257a252e9c3253982a05af177974bc16da9c44244bb38731dd032f4f0fb0ede3c0a4f7fb77ac agda-2.6.1.3.tar.gz"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment