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

[Felix Yan]

    Date: Wednesday, May 25, 2016 @ 18:47:21
  Author: fyan
Revision: 177036

upgpkg: agda 2.5.1-5

rebuild with ghc-8.0.1, base-prelude-1.0.1.1, cabal-install-1.24.0.0, cairo-0.13.2.0, cmark-0.5.2.1, data-default-0.7.0, data-default-class-0.1.0, extra-1.4.7, generic-trie-0.3.0.2, glib-0.13.3.0, gtk3-0.14.3, haddock-api-2.17.2, haddock-library-1.4.1, js-jquery-1.12.4, memory-0.13, microlens-0.4.4.0, network-multicast-0.1.1, pango-0.13.2.0, simple-sendfile-0.2.24, stack-1.1.2, texmath-0.8.6.3, wai-3.2.1.1

Modified:
  agda/trunk/PKGBUILD
Deleted:
  agda/trunk/haskell-agda.install

----------------------+
 PKGBUILD             |    9 ++-------
 haskell-agda.install |   18 ------------------
 2 files changed, 2 insertions(+), 25 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-05-25 16:42:37 UTC (rev 177035)
+++ PKGBUILD	2016-05-25 16:47:21 UTC (rev 177036)
@@ -5,13 +5,13 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.1
-pkgrel=4
+pkgrel=5
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
 arch=('i686' 'x86_64')
 depends=('gmp' 'libffi' 'zlib')
-makedepends=("ghc=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs"
+makedepends=("ghc=8.0.1" "alex" "happy" "haskell-boxes" "haskell-cpphs"
              "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore"
              "haskell-edit-distance" "haskell-equivalence" "haskell-filemanip"
              "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables"
@@ -20,7 +20,6 @@
              "haskell-text" "haskell-transformers-compat"
              "haskell-unordered-containers" "haskell-zlib")
 optdepends=('agda-stdlib: for standard library')
-options=('staticlibs')
 source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
 sha256sums=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8')
 
@@ -38,10 +37,6 @@
         --libsubdir=\$compiler/site-local/\$pkgid \
             -fcpphs -f-uhc
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
-    LC_CTYPE=en_US.UTF-8 runhaskell Setup haddock --hoogle --html
-    runhaskell Setup register --gen-script
-    runhaskell Setup unregister --gen-script
-    sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
 
     cd "${srcdir}/${_hkgname}-${pkgver}-tmp"
     runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname"

Deleted: haskell-agda.install
===================================================================
--- haskell-agda.install	2016-05-25 16:42:37 UTC (rev 177035)
+++ haskell-agda.install	2016-05-25 16:47:21 UTC (rev 177036)
@@ -1,18 +0,0 @@
-HS_DIR=usr/share/haskell/haskell-agda
-post_install() {
-  ${HS_DIR}/register.sh
-  (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
-}
-pre_upgrade() {
-  ${HS_DIR}/unregister.sh
-}
-post_upgrade() {
-  ${HS_DIR}/register.sh
-  (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
-}
-pre_remove() {
-  ${HS_DIR}/unregister.sh
-}
-post_remove() {
-  (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
-}