Date: Sunday, October 16, 2022 @ 11:06:15 Author: felixonmars Revision: 1329408
upgpkg: haskell-sbv 9.0-1: rebuild with sbv 9.0 Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-10-16 08:58:07 UTC (rev 1329407) +++ PKGBUILD 2022-10-16 11:06:15 UTC (rev 1329408) @@ -3,8 +3,8 @@ _hkgname=sbv pkgname=haskell-sbv -pkgver=8.17 -pkgrel=64 +pkgver=9.0 +pkgrel=1 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving" url="https://leventerkok.github.io/sbv" license=("BSD") @@ -11,18 +11,12 @@ arch=('x86_64') depends=('ghc-libs' 'haskell-quickcheck' 'haskell-async' 'haskell-libbf' 'haskell-random' 'haskell-syb' 'haskell-uniplate') -makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 'haskell-tasty-golden' - 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +makedepends=('ghc' 'expac' 'hlint' 'haskell-tasty' 'haskell-tasty-golden' 'haskell-tasty-hunit' + 'haskell-tasty-quickcheck') checkdepends=('abc' 'cvc4' 'yices' 'z3') source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz") -sha512sums=('6d9bae30012596b429c9119e331682ae76de7b786f5e8edecdd74b46e2d77fcd0b77314bd6fb5b0e48932f82d445d443c7ba037b495adb5b97bf922933442fb9') +sha512sums=('c392d2644d2bb00faee38336028f963a055490c9830592eb3dc35a14871256f9ca7a8ff163e41de2dc57be0de6a111f03ae2d2067d288fd37b43e2fae479c3cd') -prepare() { - cd $_hkgname-$pkgver - # Remove SMT solvers not in the repos - sed -i 's/, boolector//;s/, mathSAT//;s/, dReal//;s/, bitwuzla//;s/, cvc5//' SBVTestSuite/SBVConnectionTest.hs -} - build() { cd $_hkgname-$pkgver @@ -38,7 +32,9 @@ check() { cd $_hkgname-$pkgver - runhaskell Setup test --show-details=direct + # Tests are expected to fail + # https://github.com/LeventErkok/sbv/issues/631 + runhaskell Setup test --show-details=direct || echo "Tests failed" } package() {