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

[Felix Yan]

    Date: Saturday, September 23, 2017 @ 16:10:29
  Author: felixonmars
Revision: 260088

upgpkg: agda 2.5.3-2

Modified:
  agda/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-09-23 16:10:19 UTC (rev 260087)
+++ PKGBUILD	2017-09-23 16:10:29 UTC (rev 260088)
@@ -5,7 +5,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.5.3
-pkgrel=1
+pkgrel=2
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -20,7 +20,7 @@
 optdepends=('agda-stdlib: for standard library')
 makedepends=('ghc')
 source=("https://github.com/agda/agda/archive/v$pkgver.tar.gz")
-sha256sums=('0a86e5a61ae664abad138b70f5f0d69c8bda3c59c2ea0e78bc187a6666748b66')
+sha512sums=('89cf67d095cb3694a8f266445092620746a04aa866ab3af277f73b304d8c0f54dc7880a6093336f0c4893ee3861fc853bcf7ca48c430f2c8c83b2c24bf6cb97a')
 
 prepare() {
     # TODO: Find a better way!
@@ -31,7 +31,7 @@
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"
 
-    runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+    runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \
         --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
         --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
             -fcpphs -f-debug -f-enable-cluster-counting
@@ -42,13 +42,13 @@
     sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
 
     cd "${srcdir}/${pkgname}-${pkgver}-tmp"
-    runhaskell Setup configure --prefix="$PWD/target" --enable-executable-dynamic --datasubdir="$pkgname"
+    runhaskell Setup configure --prefix="$PWD/target" --enable-executable-dynamic --disable-library-vanilla --datasubdir="$pkgname"
     LC_CTYPE=en_US.UTF-8 runhaskell Setup build
     runhaskell Setup copy
 
-    LD_PRELOAD=$(ls dist/build/libHSAgda-*-ghc*.so) dist/build/agda/agda target/share/agda/lib/prim/Agda/Primitive.agda
+    LD_PRELOAD=(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
-        LD_PRELOAD=$(ls dist/build/libHSAgda-*-ghc*.so) dist/build/agda/agda "$_file"
+        LD_PRELOAD=(dist/build/libHSAgda-*-ghc*.so) dist/build/agda/agda "$_file"
     done
 }
 
@@ -61,9 +61,6 @@
     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}/${pkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai
     install -m644 "${srcdir}/${pkgname}-${pkgver}-tmp"/target/share/agda/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/
 }