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

[Felix Yan]

    Date: Friday, June 23, 2017 @ 13:25:01
  Author: felixonmars
Revision: 240366

upgpkg: agda 2.5.2-15

rebuild with hashable,1.2.6.1

Modified:
  agda/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-06-23 13:09:08 UTC (rev 240365)
+++ PKGBUILD	2017-06-23 13:25:01 UTC (rev 240366)
@@ -5,12 +5,12 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.2
-pkgrel=14
+pkgrel=15
 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"
+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"
@@ -33,7 +33,7 @@
 
     runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
         --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
-        --libsubdir=\$compiler/site-local/\$pkgid \
+        --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
             -fcpphs -f-uhc -f-debug
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
     runhaskell Setup haddock --hoogle --html