[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)

[Felix Yan]

    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"