Date: Monday, September 14, 2020 @ 11:28:04 Author: felixonmars Revision: 705968
upgpkg: haskell-sbv 8.8-1: rebuild with sbv 8.8 Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-09-14 10:39:28 UTC (rev 705967) +++ PKGBUILD 2020-09-14 11:28:04 UTC (rev 705968) @@ -3,19 +3,26 @@ _hkgname=sbv pkgname=haskell-sbv -pkgver=8.7 -pkgrel=32 +pkgver=8.8 +pkgrel=1 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving" url="https://leventerkok.github.com/sbv" license=("BSD") arch=('x86_64') depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 'haskell-random' - 'haskell-syb' 'haskell-generic-deriving') + 'haskell-syb') makedepends=('ghc' 'haskell-doctest' 'haskell-glob' '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=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6') +sha512sums=('495bff0220c85ae3ce712b25983643a2f81dbdccd26f668963bd52b99cafccdae2d47dcd831fb6a6e4e571379be8a759b838b0c4b4ca9168bca07bf7e2892374') +prepare() { + cd $_hkgname-$pkgver + # Remove SMT solvers not in the repos + sed -i 's/, boolector//;s/, mathSAT//;s/, dReal//' SBVTestSuite/SBVConnectionTest.hs +} + build() { cd $_hkgname-$pkgver