Date: Saturday, July 23, 2022 @ 05:14:10 Author: felixonmars Revision: 1255372
archrelease: copy trunk to community-x86_64 Added: agda/repos/community-x86_64/PKGBUILD (from rev 1255371, agda/trunk/PKGBUILD) Deleted: agda/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 115 ++++++++++++++++++++++++++++++------------------------------- 1 file changed, 57 insertions(+), 58 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2022-07-23 05:13:57 UTC (rev 1255371) +++ PKGBUILD 2022-07-23 05:14:10 UTC (rev 1255372) @@ -1,58 +0,0 @@ -# Maintainer: Felix Yan <felixonm...@archlinux.org> -# Contributor: Arch Haskell Team <arch-hask...@haskell.org> - -_hkgname=Agda -pkgname=agda -pkgver=2.6.2.1 -pkgrel=4 -pkgdesc="A dependently typed functional programming language and proof assistant" -url="https://wiki.portal.chalmers.se/agda/" -license=("custom") -arch=('x86_64') -depends=('ghc-libs' 'ghc' 'haskell-aeson' 'haskell-async' 'haskell-blaze-html' 'haskell-boxes' - 'haskell-case-insensitive' 'haskell-cpphs' 'haskell-data-hash' 'haskell-edit-distance' - 'haskell-equivalence' 'haskell-gitrev' 'haskell-hashable' 'haskell-hashtables' - 'haskell-monad-control' 'haskell-murmur-hash' 'haskell-parallel' 'haskell-regex-tdfa' - 'haskell-split' 'haskell-strict' 'haskell-unordered-containers' 'haskell-uri-encode' - 'haskell-zlib') -optdepends=('agda-stdlib: for standard library') -makedepends=('alex' 'happy' 'ghc' 'uusi' 'haskell-filemanip') -source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz") -sha512sums=('9ceb2d632fd1fd6e9c9a2ec54a834a0357e31852ac4a88db45dd6f3b629a0f1d335686083f2d94187a3e5d7812b0471841581e54111efe33db430800d41381d9') - -prepare() { - cd $_hkgname-$pkgver - sed -i '/fno-warn-overlapping-patterns/a \ , "-dynamic"' src/full/Agda/Compiler/MAlonzo/Compiler.hs - uusi -u equivalence $_hkgname.cabal -} - -build() { - cd $_hkgname-$pkgver - - # -fllvm is disabled because ghc+llc hangs since LLVM 13 - # https://gitlab.haskell.org/ghc/ghc/-/issues/20559 - runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ - --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \ - --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid --ghc-option=-fasm \ - -fcpphs -f-debug -f-enable-cluster-counting - LC_CTYPE=en_US.UTF-8 runhaskell Setup build $MAKEFLAGS - runhaskell Setup register --gen-script - runhaskell Setup unregister --gen-script - sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh - sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh -} - -package() { - cd $_hkgname-$pkgver - - install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" - install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" - LD_LIBRARY_PATH="$PWD/dist/build" runhaskell Setup copy --destdir="${pkgdir}" - - # Symlink to avoid writing to this place when agda-lib is present - install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda - ln -s ../../../prim "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda/ - - install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE - rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE -} Copied: agda/repos/community-x86_64/PKGBUILD (from rev 1255371, agda/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2022-07-23 05:14:10 UTC (rev 1255372) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Arch Haskell Team <arch-hask...@haskell.org> + +_hkgname=Agda +pkgname=agda +pkgver=2.6.2.2 +pkgrel=1 +pkgdesc="A dependently typed functional programming language and proof assistant" +url="https://wiki.portal.chalmers.se/agda/" +license=("custom") +arch=('x86_64') +depends=('ghc-libs' 'ghc' 'haskell-aeson' 'haskell-async' 'haskell-blaze-html' 'haskell-boxes' + 'haskell-case-insensitive' 'haskell-cpphs' 'haskell-data-hash' 'haskell-edit-distance' + 'haskell-equivalence' 'haskell-gitrev' 'haskell-hashable' 'haskell-hashtables' + 'haskell-monad-control' 'haskell-murmur-hash' 'haskell-parallel' 'haskell-regex-tdfa' + 'haskell-split' 'haskell-strict' 'haskell-unordered-containers' 'haskell-uri-encode' + 'haskell-zlib') +optdepends=('agda-stdlib: for standard library') +makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip') +source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz") +sha512sums=('f54dcc0fd6dea106db4a04cc3b0b80f404f0613b5075849db17a1b4b5e176ed6d183bfdaf464fbcbc6e0807c1af0c8748f96552d48e537444109be54730685a8') + +prepare() { + cd $_hkgname-$pkgver + sed -i '/fno-warn-overlapping-patterns/a \ , "-dynamic"' src/full/Agda/Compiler/MAlonzo/Compiler.hs +} + +build() { + cd $_hkgname-$pkgver + + # -fllvm is disabled because ghc+llc hangs since LLVM 13 + # https://gitlab.haskell.org/ghc/ghc/-/issues/20559 + runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ + --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \ + --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid --ghc-option=-fasm \ + -fcpphs -f-debug -f-enable-cluster-counting + LC_CTYPE=en_US.UTF-8 runhaskell Setup build $MAKEFLAGS + runhaskell Setup register --gen-script + runhaskell Setup unregister --gen-script + sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh + sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh +} + +package() { + cd $_hkgname-$pkgver + + install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" + install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" + LD_LIBRARY_PATH="$PWD/dist/build" runhaskell Setup copy --destdir="${pkgdir}" + + # Symlink to avoid writing to this place when agda-lib is present + install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda + ln -s ../../../prim "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda/ + + install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE + rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE +}