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
