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

[Felix Yan]

    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