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

[Felix Yan]

    Date: Friday, May 18, 2018 @ 07:22:38
  Author: felixonmars
Revision: 324253

upgpkg: cryptol 2.5.0.20180515-1

rebuild with ghc 8.4.2

Modified:
  cryptol/trunk/PKGBUILD

----------+
 PKGBUILD |   20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-05-18 07:09:08 UTC (rev 324252)
+++ PKGBUILD	2018-05-18 07:22:38 UTC (rev 324253)
@@ -2,21 +2,25 @@
 # Maintainer: Felix Yan <felixonmars at archlinux.org>
 
 pkgname=cryptol
-pkgver=2.5.0
-pkgrel=57
+pkgver=2.5.0.20180515
+_commit=9fccc0086700b0e409bd9b0989e52d62863c714e
+pkgrel=1
 pkgdesc="The Language of Cryptography"
 url="http://www.cryptol.net"
 license=("custom:BSD3")
 arch=('x86_64')
 depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 'haskell-gitrev' 'haskell-graphscc'
-         'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 'haskell-old-time'
-         'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 'haskell-sbv' 'haskell-smtlib'
-         'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
-         'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 'haskell-ansi-terminal')
+         'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 'haskell-random' 'haskell-sbv'
+         'haskell-simple-smt' 'haskell-strict' 'haskell-tf-random' 'haskell-transformers-base'
+         'haskell-ansi-terminal' 'haskell-blaze-html')
 makedepends=('ghc' 'alex' 'happy')
-source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz")
-sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+source=("$pkgname-$_commit.tar.gz::https://github.com/GaloisInc/cryptol/archive/$_commit.tar.gz")
+sha512sums=('d9e98541b978acb8dafc5daf35a3fc75a523914e713b4cdc2e8e01a424b39556c625e2956dd495cabf67cf99cac0b4021563f0b62b2f355b1af0645dc8d9de1b')
 
+prepare() {
+    mv $pkgname-$_commit $pkgname-$pkgver
+}
+
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"