[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Tue May 19 23:05:15 UTC 2020
Date: Tuesday, May 19, 2020 @ 23:05:14
Author: felixonmars
Revision: 630330
upgpkg: haskell-sbv 8.6-71: rebuild with tasty-golden 2.3.3.3
Modified:
haskell-sbv/trunk/PKGBUILD
----------+
PKGBUILD | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2020-05-19 22:58:42 UTC (rev 630329)
+++ PKGBUILD 2020-05-19 23:05:14 UTC (rev 630330)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.6
-pkgrel=70
+pkgrel=71
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
url="https://leventerkok.github.com/sbv"
license=("BSD")
@@ -22,7 +22,7 @@
runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \
--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
- runhaskell Setup build
+ runhaskell Setup build $MAKEFLAGS
runhaskell Setup register --gen-script
runhaskell Setup unregister --gen-script
sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
More information about the arch-commits
mailing list