Date: Wednesday, September 23, 2020 @ 23:00:24 Author: felixonmars Revision: 711643
archrelease: copy trunk to community-x86_64 Added: agda-stdlib/repos/community-x86_64/PKGBUILD (from rev 711642, agda-stdlib/trunk/PKGBUILD) agda-stdlib/repos/community-x86_64/standard-library.agda-lib.in (from rev 711642, agda-stdlib/trunk/standard-library.agda-lib.in) Deleted: agda-stdlib/repos/community-x86_64/PKGBUILD agda-stdlib/repos/community-x86_64/standard-library.agda-lib.in ------------------------------+ PKGBUILD | 98 ++++++++++++++++++++--------------------- standard-library.agda-lib.in | 4 - 2 files changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2020-09-23 23:00:03 UTC (rev 711642) +++ PKGBUILD 2020-09-23 23:00:24 UTC (rev 711643) @@ -1,49 +0,0 @@ -# Maintainer: Felix Yan <felixonm...@archlinux.org> -# Contributor: Arch Haskell Team <arch-hask...@haskell.org> - -pkgname=agda-stdlib -pkgver=1.3 -_agdaver=2.6.1.1 -pkgrel=3 -pkgdesc="Agda standard libraries" -url="https://github.com/agda/agda-stdlib" -license=("MIT") -arch=('x86_64') -depends=("agda=$_agdaver") -makedepends=('ghc' 'haskell-filemanip') -options=('staticlibs') -source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz" - standard-library.agda-lib.in) -sha512sums=('a1b78bd0e4bbca4cfa8c565cf14f05177cacbb28b63fae98bbdce482bca385a169c7aae0ac14973faf186e812abf7d8af47bfeb80110d9b0f671e1a475dbf109' - '92fad2f9b941af4506bb0d5d9d533d09823df89f7530ee5d787b741816ba07e68f25b96d6653ae6ed949ec23484c1fba47a63cc6401311462a55b5e06cfc032c') - -prepare() { - cd $pkgname-$pkgver - rm standard-library.agda-lib - sed -i 's/< *4.14/<5/' lib.cabal -} - -build() { - cd $pkgname-$pkgver - - runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla - runhaskell Setup build - - dist/build/GenerateEverything/GenerateEverything - - agda -i. -isrc Everything.agda -} - -package() { - install -Dm644 standard-library.agda-lib.in "$pkgdir"/usr/share/agda/lib/standard-library.agda-lib - - cd $pkgname-$pkgver - install -dm755 "$pkgdir"/usr/share/agda/lib/stdlib - cp -pr src/* "$pkgdir"/usr/share/agda/lib/stdlib/ - - # Symlink to avoid writing to this place when agda-lib is present - install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$_agdaver/agda - ln -s ../../../stdlib "$pkgdir"/usr/share/agda/lib/_build/$_agdaver/agda/ - - install -D -m644 LICENCE "$pkgdir"/usr/share/licenses/$pkgname/LICENCE -} Copied: agda-stdlib/repos/community-x86_64/PKGBUILD (from rev 711642, agda-stdlib/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2020-09-23 23:00:24 UTC (rev 711643) @@ -0,0 +1,49 @@ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Arch Haskell Team <arch-hask...@haskell.org> + +pkgname=agda-stdlib +pkgver=1.4 +_agdaver=2.6.1.1 +pkgrel=1 +pkgdesc="Agda standard libraries" +url="https://github.com/agda/agda-stdlib" +license=("MIT") +arch=('x86_64') +depends=("agda=$_agdaver") +makedepends=('ghc' 'haskell-filemanip') +options=('staticlibs') +source=("$pkgname-$pkgver.tar.gz::https://github.com/agda/agda-stdlib/archive/v$pkgver.tar.gz" + standard-library.agda-lib.in) +sha512sums=('90c05d54eaf1d7c78d00f73044afa1f3b4d99df622d40b3cea88fe280f0770ccaeddd787d8fb384c150123f592bb6a7ec24b842a9fcc2936f581d847928223ca' + '92fad2f9b941af4506bb0d5d9d533d09823df89f7530ee5d787b741816ba07e68f25b96d6653ae6ed949ec23484c1fba47a63cc6401311462a55b5e06cfc032c') + +prepare() { + cd $pkgname-$pkgver + rm standard-library.agda-lib + sed -i 's/< *4.14/<5/' lib.cabal +} + +build() { + cd $pkgname-$pkgver + + runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla + runhaskell Setup build + + dist/build/GenerateEverything/GenerateEverything + + agda -i. -isrc Everything.agda +} + +package() { + install -Dm644 standard-library.agda-lib.in "$pkgdir"/usr/share/agda/lib/standard-library.agda-lib + + cd $pkgname-$pkgver + install -dm755 "$pkgdir"/usr/share/agda/lib/stdlib + cp -pr src/* "$pkgdir"/usr/share/agda/lib/stdlib/ + + # Symlink to avoid writing to this place when agda-lib is present + install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$_agdaver/agda + ln -s ../../../stdlib "$pkgdir"/usr/share/agda/lib/_build/$_agdaver/agda/ + + install -D -m644 LICENCE "$pkgdir"/usr/share/licenses/$pkgname/LICENCE +} Deleted: standard-library.agda-lib.in =================================================================== --- standard-library.agda-lib.in 2020-09-23 23:00:03 UTC (rev 711642) +++ standard-library.agda-lib.in 2020-09-23 23:00:24 UTC (rev 711643) @@ -1,2 +0,0 @@ -name: standard-library -include: stdlib Copied: agda-stdlib/repos/community-x86_64/standard-library.agda-lib.in (from rev 711642, agda-stdlib/trunk/standard-library.agda-lib.in) =================================================================== --- standard-library.agda-lib.in (rev 0) +++ standard-library.agda-lib.in 2020-09-23 23:00:24 UTC (rev 711643) @@ -0,0 +1,2 @@ +name: standard-library +include: stdlib