Date: Saturday, September 9, 2017 @ 09:07:38 Author: felixonmars Revision: 256630
upgpkg: agda 2.5.3-1 rebuild with hashtables,1.2.2.0 Agda,2.5.3 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 32 +++++++++++++++----------------- 1 file changed, 15 insertions(+), 17 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-09-09 08:56:00 UTC (rev 256629) +++ PKGBUILD 2017-09-09 09:07:38 UTC (rev 256630) @@ -4,34 +4,32 @@ _hkgname=Agda pkgname=agda -pkgver=2.5.3rc -_commit=5b1ccf82bd469114446c3d7a2b0a45963676cefb +pkgver=2.5.3 pkgrel=1 pkgdesc="A dependently typed functional programming language and proof assistant" url="http://wiki.portal.chalmers.se/agda/" license=("custom") arch=('i686' 'x86_64') -depends=('ghc-libs' "alex" "happy" "haskell-async" "haskell-boxes" "haskell-cpphs" - "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore" "haskell-edit-distance" - "haskell-equivalence" "haskell-geniplate-mirror" "haskell-gitrev" "haskell-hashable" - "haskell-hashtables" "haskell-ieee754" "haskell-monadplus" "haskell-mtl" +depends=('ghc-libs' "alex" "happy" "haskell-async" "haskell-blaze-html" "haskell-boxes" + "haskell-cpphs" "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore" + "haskell-edit-distance" "haskell-equivalence" "haskell-geniplate-mirror" "haskell-gitrev" + "haskell-hashable" "haskell-hashtables" "haskell-ieee754" "haskell-monadplus" "haskell-mtl" "haskell-murmur-hash" "haskell-parallel" "haskell-regex-tdfa" "haskell-stm" - "haskell-strict" "haskell-text" "haskell-unordered-containers" "haskell-zlib") + "haskell-strict" "haskell-text" "haskell-unordered-containers" "haskell-uri-encode" + "haskell-zlib") optdepends=('agda-stdlib: for standard library') makedepends=('ghc') -source=("https://github.com/agda/agda/archive/$_commit.tar.gz") -sha256sums=('62af26999acc9295c3a2966772f85ad166ab961d392c4a742a2db6cf8161d662') +source=("https://github.com/agda/agda/archive/v$pkgver.tar.gz") +sha256sums=('0a86e5a61ae664abad138b70f5f0d69c8bda3c59c2ea0e78bc187a6666748b66') prepare() { - mv agda-$_commit $_hkgname-$pkgver - # TODO: Find a better way! # Build it twice to compile the agdai file. - cp -a ${_hkgname}-${pkgver}{,-tmp} + cp -a ${pkgname}-${pkgver}{,-tmp} } build() { - cd "${srcdir}/${_hkgname}-${pkgver}" + cd "${srcdir}/${pkgname}-${pkgver}" runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ @@ -43,7 +41,7 @@ sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh - cd "${srcdir}/${_hkgname}-${pkgver}-tmp" + cd "${srcdir}/${pkgname}-${pkgver}-tmp" runhaskell Setup configure --prefix="$PWD/target" --enable-executable-dynamic --datasubdir="$pkgname" LC_CTYPE=en_US.UTF-8 runhaskell Setup build runhaskell Setup copy @@ -55,7 +53,7 @@ } package() { - cd "${srcdir}/${_hkgname}-${pkgver}" + cd "${srcdir}/${pkgname}-${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" @@ -66,6 +64,6 @@ # Remove static libs find "$pkgdir"/usr/lib -name "*.a" -delete - install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai - install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/ + install -m644 "${srcdir}/${pkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai + install -m644 "${srcdir}/${pkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/ }