Date: Sunday, October 15, 2017 @ 09:21:41 Author: felixonmars Revision: 262896
upgpkg: agda-stdlib 0.14-1 Modified: agda-stdlib/trunk/PKGBUILD ----------+ PKGBUILD | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-10-15 09:05:19 UTC (rev 262895) +++ PKGBUILD 2017-10-15 09:21:41 UTC (rev 262896) @@ -3,22 +3,22 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=agda-stdlib -pkgver=0.13 +pkgver=0.14 pkgrel=1 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib"; license=("MIT") arch=('i686' 'x86_64') -depends=("agda") -makedepends=("ghc" "git" "haskell-filemanip") +depends=('agda') +makedepends=('ghc' 'haskell-filemanip') options=('staticlibs') -source=("git+https://github.com/agda/agda-stdlib.git#tag=v$pkgver";) -sha256sums=('SKIP') +source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz";) +sha512sums=('fcb785110c72fa8d298346150827766bdcb308502a4b915b56b6bb43aff9b5f93fd23932e08a78d97ec723ad0f2ea49c7f132b3b8cc8a535f9cde49387c95c51') build() { - cd "${srcdir}/${pkgname}" - - runhaskell Setup configure + cd $pkgname-$pkgver + + runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanill runhaskell Setup build dist/build/GenerateEverything/GenerateEverything @@ -28,8 +28,8 @@ } package() { - cd "${srcdir}/${pkgname}" - install -dm755 "$pkgdir/usr/share/agda/lib/prim" - cp -pr Everything.agda* src/* "$pkgdir/usr/share/agda/lib/prim" - install -D -m644 "LICENCE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENCE" + cd $pkgname-$pkgver + install -dm755 "$pkgdir"/usr/share/agda/lib/prim + cp -pr Everything.agda* src/* "$pkgdir"/usr/share/agda/lib/prim + install -D -m644 LICENCE "$pkgdir"/usr/share/licenses/$pkgname/LICENCE }
