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

[Felix Yan]

    Date: Sunday, April 17, 2016 @ 06:40:20
  Author: fyan
Revision: 171230

upgpkg: agda 2.5.1-1

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |   29 ++++++++++-------------------
 1 file changed, 10 insertions(+), 19 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-04-17 03:16:19 UTC (rev 171229)
+++ PKGBUILD	2016-04-17 04:40:20 UTC (rev 171230)
@@ -4,8 +4,8 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.4.2.5
-pkgrel=6
+pkgver=2.5.1
+pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -12,28 +12,19 @@
 arch=('i686' 'x86_64')
 depends=('gmp' 'libffi' 'zlib')
 makedepends=("ghc=7.10.3" "alex" "happy" "haskell-boxes" "haskell-cpphs"
-             "haskell-data-hash" "haskell-edit-distance" "haskell-equivalence"
+             "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore"
+             "haskell-edit-distance" "haskell-equivalence" "haskell-filemanip"
              "haskell-geniplate-mirror" "haskell-hashable" "haskell-hashtables"
-             "haskell-src-exts" "haskell-mtl" "haskell-parallel" "haskell-quickcheck"
-             "haskell-strict" "haskell-text" "haskell-transformers-compat"
+             "haskell-monadplus" "haskell-mtl" "haskell-parallel"
+             "haskell-quickcheck" "haskell-src-exts" "haskell-strict"
+             "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"
-        unordered-containers-0.2.6.patch)
-sha256sums=('959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee'
-            '51e2d2160861ec6b8bd879f85cbbd00f9ed7a564b307870992370457e307f3ac')
+source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
+sha256sums=('ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8')
 
 prepare() {
-    sed -e 's/transformers-compat >= 0.3.3.3 && < 0.5/transformers-compat >= 0.3.3.3 \&\& < 0.6/' \
-        -e 's/cpphs >= 1.19 && < 1.20/cpphs >= 1.19 \&\& < 1.21/' \
-        -i ${_hkgname}-${pkgver}/${_hkgname}.cabal
-
-    cd ${_hkgname}-${pkgver}
-    # https://github.com/agda/agda/issues/1779
-    patch -p1 -i ../unordered-containers-0.2.6.patch
-
-    cd ..
     # TODO: Find a better way!
     # Build it twice to compile the agdai file.
     cp -a ${_hkgname}-${pkgver}{,-tmp}
@@ -45,7 +36,7 @@
     runhaskell Setup configure -O --enable-library-profiling --enable-shared \
         --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
         --libsubdir=\$compiler/site-local/\$pkgid \
-            -fcpphs
+            -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