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

[Felix Yan]

    Date: Tuesday, February 16, 2021 @ 09:20:17
  Author: felixonmars
Revision: 862271

upgpkg: cryptol 2.10.0-71: rebuild with sbv 8.10

Modified:
  cryptol/trunk/PKGBUILD

----------+
 PKGBUILD |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-02-16 09:15:30 UTC (rev 862270)
+++ PKGBUILD	2021-02-16 09:20:17 UTC (rev 862271)
@@ -2,7 +2,7 @@
 
 pkgname=cryptol
 pkgver=2.10.0
-pkgrel=70
+pkgrel=71
 pkgdesc="The Language of Cryptography"
 url="https://www.cryptol.net"
 license=("BSD")
@@ -13,7 +13,7 @@
          'haskell-monadlib' 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random'
          'haskell-sbv' 'haskell-simple-smt' 'haskell-strict' 'haskell-tf-random'
          'haskell-transformers-base' 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html')
-makedepends=('ghc' 'alex' 'happy')
+makedepends=('ghc' 'uusi' 'alex' 'happy')
 source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz"
         sbv-8.8.patch
         libbf-0.6.patch)
@@ -24,6 +24,7 @@
 prepare() {
     patch -d $pkgname-$pkgver -p1 < sbv-8.8.patch
     patch -d $pkgname-$pkgver -p1 < libbf-0.6.patch
+    uusi -u sbv $pkgname-$pkgver/$pkgname.cabal
 }
 
 build() {