[arch-commits] Commit in cryptol/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Sat Sep 23 15:07:41 UTC 2017
Date: Saturday, September 23, 2017 @ 15:07:40
Author: felixonmars
Revision: 259986
upgpkg: cryptol 2.5.0-5
Modified:
cryptol/trunk/PKGBUILD
----------+
PKGBUILD | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-09-23 15:07:26 UTC (rev 259985)
+++ PKGBUILD 2017-09-23 15:07:40 UTC (rev 259986)
@@ -3,7 +3,7 @@
pkgname=cryptol
pkgver=2.5.0
-pkgrel=4
+pkgrel=5
pkgdesc="The Language of Cryptography"
url="http://www.cryptol.net"
license=("custom:BSD3")
@@ -20,7 +20,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 \
-f-static -f-relocatable
@@ -39,7 +39,4 @@
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
}
More information about the arch-commits
mailing list