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
