[arch-commits] Commit in agda/trunk (PKGBUILD)

[Felix Yan]

    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/
 }