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

[Felix Yan]

    Date: Friday, June 23, 2017 @ 04:32:30
  Author: felixonmars
Revision: 239704

upgpkg: agda 2.5.2-14

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |   41 ++++++++++++++++++++++++++---------------
 1 file changed, 26 insertions(+), 15 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-06-23 04:17:04 UTC (rev 239703)
+++ PKGBUILD	2017-06-23 04:32:30 UTC (rev 239704)
@@ -5,18 +5,17 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.2
-pkgrel=13
+pkgrel=14
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
 arch=('i686' 'x86_64')
-depends=('gmp' 'libffi' 'zlib')
-makedepends=("ghc=8.0.1" "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"
-             "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" "haskell-text"
-             "haskell-transformers-compat" "haskell-unordered-containers" "haskell-zlib")
+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"
+         "haskell-parallel" "haskell-regex-tdfa" "haskell-strict" "haskell-text"
+         "haskell-transformers-compat" "haskell-unordered-containers" "haskell-zlib")
 optdepends=('agda-stdlib: for standard library')
 source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
 sha256sums=('d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439')
@@ -32,30 +31,42 @@
 build() {
     cd "${srcdir}/${_hkgname}-${pkgver}"
 
-    runhaskell Setup configure -O \
+    runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
         --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
         --libsubdir=\$compiler/site-local/\$pkgid \
             -fcpphs -f-uhc -f-debug
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
+    runhaskell Setup haddock --hoogle --html
+    runhaskell Setup register --gen-script
+    runhaskell Setup unregister --gen-script
+    sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+    sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
 
     cd "${srcdir}/${_hkgname}-${pkgver}-tmp"
-    runhaskell Setup configure --prefix="$PWD/target" --datasubdir="$pkgname"
+    runhaskell Setup configure --prefix="$PWD/target" --enable-executable-dynamic --datasubdir="$pkgname"
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
     runhaskell Setup copy
 
-    target/bin/agda target/share/agda/lib/prim/Agda/Primitive.agda
+    LD_PRELOAD=$(ls dist/build/libHSAgda-*-ghc*.so) dist/build/agda/agda target/share/agda/lib/prim/Agda/Primitive.agda
     for _file in target/share/agda/lib/prim/Agda/Builtin/*.agda; do
-        target/bin/agda "$_file"
+        LD_PRELOAD=$(ls dist/build/libHSAgda-*-ghc*.so) dist/build/agda/agda "$_file"
     done
 }
 
 package() {
     cd "${srcdir}/${_hkgname}-${pkgver}"
+
+    install -D -m744 register.sh   "${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
+    install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
+    install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries"
+    ln -s "/usr/share/doc/${pkgname}/html" "${pkgdir}/usr/share/doc/ghc/html/libraries/${_hkgname}"
     runhaskell Setup copy --destdir="${pkgdir}"
+    install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
+    rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
 
+    # Remove static libs
+    find "$pkgdir"/usr/lib -name "*.a" -delete
+
     install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai
     install -m644 "${srcdir}/${_hkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/
-
-    rm -r "$pkgdir"/usr/{lib,share/doc}
-    install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
 }