Date: Sunday, September 9, 2018 @ 09:00:30 Author: felixonmars Revision: 378875
upgpkg: agda-stdlib 0.16.1-1 Added: agda-stdlib/trunk/standard-library.agda-lib Modified: agda-stdlib/trunk/PKGBUILD ---------------------------+ PKGBUILD | 16 ++++++++++------ standard-library.agda-lib | 2 ++ 2 files changed, 12 insertions(+), 6 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-09-09 08:48:23 UTC (rev 378874) +++ PKGBUILD 2018-09-09 09:00:30 UTC (rev 378875) @@ -3,7 +3,7 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=agda-stdlib -pkgver=0.15 +pkgver=0.16.1 pkgrel=1 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib"; @@ -12,13 +12,15 @@ depends=('agda') makedepends=('ghc' 'haskell-filemanip') options=('staticlibs') -source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz";) -sha512sums=('4274b73ea2fa3bd778e345ee9459fa31c01b47ddf127b733efd572ca65a531ab49bdcd09cff2600b9229aad23cee55324653c62280421676036ff587f64abb4b') +source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz"; + standard-library.agda-lib) +sha512sums=('581a70e4e21ccfe3be2cb183145cde54cd15e0f6ebfccc5d61e025f29a499b41afd081996a5d06fb5f708ed27c865329d4c1cc81f91d292e6232642ffac1dc40' + '92fad2f9b941af4506bb0d5d9d533d09823df89f7530ee5d787b741816ba07e68f25b96d6653ae6ed949ec23484c1fba47a63cc6401311462a55b5e06cfc032c') build() { cd $pkgname-$pkgver - runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanill + runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla runhaskell Setup build dist/build/GenerateEverything/GenerateEverything @@ -28,8 +30,10 @@ } package() { + install -D -m644 standard-library.agda-lib "$pkgdir"/usr/share/agda/lib/standard-library.agda-lib + cd $pkgname-$pkgver - install -dm755 "$pkgdir"/usr/share/agda/lib/prim - cp -pr Everything.agda* src/* "$pkgdir"/usr/share/agda/lib/prim + install -dm755 "$pkgdir"/usr/share/agda/lib/stdlib + cp -pr Everything.agda* src/* "$pkgdir"/usr/share/agda/lib/stdlib install -D -m644 LICENCE "$pkgdir"/usr/share/licenses/$pkgname/LICENCE } Added: standard-library.agda-lib =================================================================== --- standard-library.agda-lib (rev 0) +++ standard-library.agda-lib 2018-09-09 09:00:30 UTC (rev 378875) @@ -0,0 +1,2 @@ +name: standard-library +include: stdlib
