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

[Felix Yan]

    Date: Wednesday, July 27, 2016 @ 05:30:12
  Author: felixonmars
Revision: 184474

upgpkg: idris 0.12.1-1

Modified:
  idris/trunk/PKGBUILD

----------+
 PKGBUILD |   17 ++++++-----------
 1 file changed, 6 insertions(+), 11 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-07-27 03:21:52 UTC (rev 184473)
+++ PKGBUILD	2016-07-27 05:30:12 UTC (rev 184474)
@@ -3,25 +3,24 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=idris
-pkgver=0.11.2
-pkgrel=2
+pkgver=0.12.1
+pkgrel=1
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
 license=("custom:BSD3")
 arch=('i686' 'x86_64')
 depends=('gmp' 'libffi' 'zlib' 'gcc')
-makedepends=("ghc=7.10.3" "haskell-aeson" "haskell-annotated-wl-pprint" "haskell-ansi-terminal"
+makedepends=("ghc=8.0.1" "haskell-aeson" "haskell-annotated-wl-pprint" "haskell-ansi-terminal"
              "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring" "haskell-blaze-html"
              "haskell-blaze-markup" "haskell-cheapskate" "haskell-fingertree" "haskell-fsnotify"
              "haskell-ieee754" "haskell-mtl" "haskell-libffi" "haskell-network"
-             "haskell-optparse-applicative" "haskell-parsers" "haskell-safe" "haskell-split"
-             "haskell-terminal-size" "haskell-text" "haskell-transformers-compat"
+             "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa" "haskell-safe"
+             "haskell-split" "haskell-terminal-size" "haskell-text" "haskell-transformers-compat"
              "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers"
              "haskell-utf8-string" "haskell-vector" "haskell-vector-binary-instances"
              "haskell-zip-archive")
-options=('staticlibs')
 source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz")
-sha256sums=('4120eec85e07dc9e96835fc5226f4d8044b2401c0c007987465d906db7773fad')
+sha256sums=('2d3e4d1768975db5f786796d0d9a98037c011a3bf7765e41b17aa585680a49bb')
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"
@@ -31,10 +30,6 @@
         --libsubdir=\$compiler/site-local/\$pkgid \
             -fFFI -fGMP
     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
 }
 
 package() {