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/ }