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

[Felix Yan]

    Date: Wednesday, June 21, 2017 @ 06:16:52
  Author: felixonmars
Revision: 239157

upgpkg: idris 1.0-36

rebuild with safe,0.3.15

Modified:
  idris/trunk/PKGBUILD

----------+
 PKGBUILD |    8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-06-21 05:38:49 UTC (rev 239156)
+++ PKGBUILD	2017-06-21 06:16:52 UTC (rev 239157)
@@ -4,12 +4,12 @@
 
 pkgname=idris
 pkgver=1.0
-pkgrel=35
+pkgrel=36
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
 license=("custom:BSD3")
 arch=('i686' 'x86_64')
-depends=("ghc" "haskell-aeson" "haskell-annotated-wl-pprint" "haskell-ansi-terminal"
+depends=('ghc' "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-code-page" "haskell-fingertree"
          "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi" "haskell-network"
@@ -29,8 +29,8 @@
     cd "$srcdir"/Idris-dev-$pkgver
 
     runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
-        --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
-        --libsubdir=\$compiler/site-local/\$pkgid \
+        --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
+        --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
             -fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
     runhaskell Setup haddock --hoogle --html