[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Tue Jan 16 09:09:58 UTC 2018
Date: Tuesday, January 16, 2018 @ 09:09:57
Author: felixonmars
Revision: 283156
upgpkg: haskell-sbv 7.5-1
rebuild with sbv,7.5
Modified:
haskell-sbv/trunk/PKGBUILD
----------+
PKGBUILD | 20 +++++++++++++-------
1 file changed, 13 insertions(+), 7 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2018-01-16 09:01:47 UTC (rev 283155)
+++ PKGBUILD 2018-01-16 09:09:57 UTC (rev 283156)
@@ -4,8 +4,8 @@
_hkgname=sbv
pkgname=haskell-sbv
-pkgver=7.4
-pkgrel=4
+pkgver=7.5
+pkgrel=1
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
url="http://leventerkok.github.com/sbv"
license=("custom:BSD3")
@@ -13,15 +13,16 @@
depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async'
'haskell-mtl' 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
'haskell-generic-deriving')
-makedepends=('ghc')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 'haskell-tasty-golden'
+ 'haskell-tasty-hunit')
source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha512sums=('73eac796c93fb43977428a476a3a63b844153c208b55dd3edb0dbc9e9426ffb9dbb3359d60ad423ae0260c6a0060f3b1c2408162b9ebd931c0a8bdcafd073058')
+sha512sums=('008675fec1f966c80605c5cc089293cd7f0ff3db69e076510af3b2ea22468c874b280d8e72cf5f3bc2fbf4ab4f446d11d7a312515da4235a1a3ca8a38df1b555')
build() {
- cd "${srcdir}/${_hkgname}-${pkgver}"
+ cd $_hkgname-$pkgver
runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \
- --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --enable-tests \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
runhaskell Setup build
runhaskell Setup register --gen-script
@@ -30,8 +31,13 @@
sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
}
+check() {
+ cd $_hkgname-$pkgver
+ runhaskell Setup test
+}
+
package() {
- cd "${srcdir}/${_hkgname}-${pkgver}"
+ cd $_hkgname-$pkgver
install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
More information about the arch-commits
mailing list