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

[Felix Yan]

    Date: Tuesday, March 30, 2021 @ 11:08:59
  Author: felixonmars
Revision: 910445

upgpkg: cryptol 2.11.0-5: rebuild with sbv 8.13

Modified:
  cryptol/trunk/PKGBUILD

----------+
 PKGBUILD |    9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-03-30 10:53:32 UTC (rev 910444)
+++ PKGBUILD	2021-03-30 11:08:59 UTC (rev 910445)
@@ -2,7 +2,7 @@
 
 pkgname=cryptol
 pkgver=2.11.0
-pkgrel=4
+pkgrel=5
 pkgdesc="The Language of Cryptography"
 url="https://www.cryptol.net"
 license=("BSD")
@@ -14,10 +14,15 @@
          'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' 'haskell-sbv'
          'haskell-simple-smt' 'haskell-strict' 'haskell-temporary' 'haskell-tf-random'
          'haskell-transformers-base' 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html')
-makedepends=('ghc' 'alex' 'happy')
+makedepends=('ghc' 'alex' 'happy' 'uusi')
 source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz")
 sha512sums=('4e8e9dec727c02e76043ee390b91d0a740df747a8f49b2551686ac7db3cc0c94c36e20316b59e7e50e28b838f3f9bf7202095cf6ce683d83fd47826702381649')
 
+prepare() {
+    cd $pkgname-$pkgver
+    uusi -u sbv $pkgname.cabal
+}
+
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"