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"
