Date: Sunday, March 18, 2018 @ 18:59:24 Author: felixonmars Revision: 309084
archrelease: copy trunk to community-x86_64 Added: agda-stdlib/repos/community-x86_64/PKGBUILD (from rev 309082, agda-stdlib/trunk/PKGBUILD) Deleted: agda-stdlib/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 70 ++++++++++++++++++++++++++++++------------------------------- 1 file changed, 35 insertions(+), 35 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2018-03-18 18:59:23 UTC (rev 309083) +++ PKGBUILD 2018-03-18 18:59:24 UTC (rev 309084) @@ -1,35 +0,0 @@ -# $Id: PKGBUILD 152508 2015-12-10 18:09:47Z fyan $ -# Maintainer: Felix Yan <felixonm...@archlinux.org> -# Contributor: Arch Haskell Team <arch-hask...@haskell.org> - -pkgname=agda-stdlib -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' 'haskell-filemanip') -options=('staticlibs') -source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz") -sha512sums=('fcb785110c72fa8d298346150827766bdcb308502a4b915b56b6bb43aff9b5f93fd23932e08a78d97ec723ad0f2ea49c7f132b3b8cc8a535f9cde49387c95c51') - -build() { - cd $pkgname-$pkgver - - runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanill - runhaskell Setup build - - dist/build/GenerateEverything/GenerateEverything - - agda -i. -isrc Everything.agda - agda --html -i. -isrc README.agda -} - -package() { - 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 -} Copied: agda-stdlib/repos/community-x86_64/PKGBUILD (from rev 309082, agda-stdlib/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2018-03-18 18:59:24 UTC (rev 309084) @@ -0,0 +1,35 @@ +# $Id: PKGBUILD 152508 2015-12-10 18:09:47Z fyan $ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Arch Haskell Team <arch-hask...@haskell.org> + +pkgname=agda-stdlib +pkgver=0.15 +pkgrel=1 +pkgdesc="Agda standard libraries" +url="https://github.com/agda/agda-stdlib" +license=("MIT") +arch=('x86_64') +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') + +build() { + cd $pkgname-$pkgver + + runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanill + runhaskell Setup build + + dist/build/GenerateEverything/GenerateEverything + + agda -i. -isrc Everything.agda + agda --html -i. -isrc README.agda +} + +package() { + 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 +}