Date: Sunday, July 4, 2021 @ 13:04:35 Author: felixonmars Revision: 972036
upgpkg: haskell-what4 1.2.1-1 Modified: haskell-what4/trunk/PKGBUILD ----------+ PKGBUILD | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-07-04 12:56:51 UTC (rev 972035) +++ PKGBUILD 2021-07-04 13:04:35 UTC (rev 972036) @@ -2,8 +2,8 @@ _hkgname=what4 pkgname=haskell-what4 -pkgver=1.2 -pkgrel=6 +pkgver=1.2.1 +pkgrel=1 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4"; license=('BSD') @@ -22,18 +22,16 @@ 'haskell-tasty-sugar') checkdepends=('cvc4' 'yices' 'z3') optdepends=('cvc4' 'yices' 'z3') -# https://github.com/GaloisInc/what4/pull/135 -#source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) -source=(https://github.com/GaloisInc/what4/archive/v$pkgver/$pkgname-$pkgver.tar.gz) -sha512sums=('c2b29b7cf0d78f606f5cebebf9661b5863e6dc926724ce073757705754fa67b39422659d27dc806101988e6b373dcea71b8f4525e403983cda011f66de7877d1') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('494e030c0302997205bf4ac3cbd877cd107b22cc3dcb1ca64a075434f95c0a993a82ac27ad5098e616a2f72f8cb9d6234d41a2c5e0335eb874953963281d1318') prepare() { - cd $_hkgname-$pkgver/$_hkgname + cd $_hkgname-$pkgver gen-setup } build() { - cd $_hkgname-$pkgver/$_hkgname + cd $_hkgname-$pkgver runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \ @@ -46,12 +44,12 @@ } check() { - cd $_hkgname-$pkgver/$_hkgname + cd $_hkgname-$pkgver runhaskell Setup test --show-details=direct } package() { - cd $_hkgname-$pkgver/$_hkgname + 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
