[arch-commits] Commit in haskell-presburger/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Fri Sep 22 17:40:41 UTC 2017
Date: Friday, September 22, 2017 @ 17:40:40
Author: felixonmars
Revision: 259668
upgpkg: haskell-presburger 1.3.1-2
Modified:
haskell-presburger/trunk/PKGBUILD
----------+
PKGBUILD | 9 +++------
1 file changed, 3 insertions(+), 6 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-09-22 17:39:59 UTC (rev 259667)
+++ PKGBUILD 2017-09-22 17:40:40 UTC (rev 259668)
@@ -5,9 +5,9 @@
_hkgname=presburger
pkgname=haskell-presburger
pkgver=1.3.1
-pkgrel=1
+pkgrel=2
pkgdesc="A decision procedure for quantifier-free linear arithmetic"
-url="http://github.com/yav/presburger"
+url="https://github.com/yav/presburger"
license=("custom:BSD3")
arch=('i686' 'x86_64')
depends=('ghc-libs')
@@ -18,7 +18,7 @@
build() {
cd "${srcdir}/${_hkgname}-${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}" \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
runhaskell Setup build
@@ -36,7 +36,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