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

[Felix Yan]

    Date: Wednesday, August 16, 2017 @ 21:36:14
  Author: felixonmars
Revision: 251552

upgpkg: agda 2.5.3rc-1

GHC 8.2.1 rebuild

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |   29 ++++++++++++++---------------
 1 file changed, 14 insertions(+), 15 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-08-16 21:36:10 UTC (rev 251551)
+++ PKGBUILD	2017-08-16 21:36:14 UTC (rev 251552)
@@ -4,24 +4,26 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.5.2
-pkgrel=17
+pkgver=2.5.3rc
+_commit=5b1ccf82bd469114446c3d7a2b0a45963676cefb
+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' "alex" "happy" "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-strict" "haskell-text"
-         "haskell-transformers-compat" "haskell-unordered-containers" "haskell-zlib")
+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"
+         "haskell-murmur-hash" "haskell-parallel" "haskell-regex-tdfa" "haskell-stm"
+         "haskell-strict" "haskell-text" "haskell-unordered-containers" "haskell-zlib")
 optdepends=('agda-stdlib: for standard library')
-source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
+makedepends=('ghc')
+source=("https://github.com/agda/agda/archive/$_commit.tar.gz")
+sha256sums=('62af26999acc9295c3a2966772f85ad166ab961d392c4a742a2db6cf8161d662')
 
 prepare() {
-    sed -i 's/, ieee754 >= 0.7.8 && < 0.8/, ieee754 >= 0.7.8 \&\& < 0.9/' ${_hkgname}-${pkgver}/${_hkgname}.cabal
+    mv agda-$_commit $_hkgname-$pkgver
 
     # TODO: Find a better way!
     # Build it twice to compile the agdai file.
@@ -34,9 +36,8 @@
     runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
         --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
         --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
-            -fcpphs -f-uhc -f-debug
+            -fcpphs -f-debug -f-enable-cluster-counting
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
-    runhaskell Setup haddock --hoogle --html
     runhaskell Setup register --gen-script
     runhaskell Setup unregister --gen-script
     sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
@@ -58,8 +59,6 @@
 
     install -D -m744 register.sh   "${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
     install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
-    install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries"
-    ln -s "/usr/share/doc/${pkgname}/html" "${pkgdir}/usr/share/doc/ghc/html/libraries/${_hkgname}"
     runhaskell Setup copy --destdir="${pkgdir}"
     install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
     rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"