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

[Felix Yan]

    Date: Tuesday, December 24, 2019 @ 17:52:16
  Author: felixonmars
Revision: 539988

upgpkg: cryptol 2.8.0-15: rebuild with pandoc 2.8, pandoc-types 1.20, doctemplates 0.7.1, HsYAML 0.2.1.0, haddock-library 1.8.0, texmath 0.12, base-compat 0.11.0, base-compat-batteries 0.11.0, optparse-applicative 0.15.1.0, hledger 1.16, hledger-lib 1.16, hledger-ui 1.16, hledger-web 1.16

Modified:
  cryptol/trunk/PKGBUILD

----------+
 PKGBUILD |   15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-12-24 17:52:15 UTC (rev 539987)
+++ PKGBUILD	2019-12-24 17:52:16 UTC (rev 539988)
@@ -2,7 +2,7 @@
 
 pkgname=cryptol
 pkgver=2.8.0
-pkgrel=14
+pkgrel=15
 pkgdesc="The Language of Cryptography"
 url="https://www.cryptol.net"
 license=("BSD")
@@ -13,9 +13,18 @@
          'haskell-tf-random' 'haskell-transformers-base' 'haskell-ansi-terminal'
          'haskell-blaze-html')
 makedepends=('ghc' 'alex' 'happy')
-source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz")
-sha512sums=('ad2cbb67dbcd10dba12457b24558af4ef7066817f18e162432607e7d887071fef13a1c958e37a3f7e8e3fd04079c20cc2a8abdcf1c9dd35a9a93e7e0a2d383b0')
+source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz"
+        ghc-8.8.patch::https://github.com/GaloisInc/cryptol/pull/655.patch)
+sha512sums=('ad2cbb67dbcd10dba12457b24558af4ef7066817f18e162432607e7d887071fef13a1c958e37a3f7e8e3fd04079c20cc2a8abdcf1c9dd35a9a93e7e0a2d383b0'
+            'f5399cfde04c2645e0bc80d80a39ac570c9649961e22bf9808bb55ba8457f9a124469d699de73624b2debabe8d672879bd0b2279b60dfcb08d328de67ca78e84')
 
+prepare() {
+    cd $pkgname-$pkgver
+    patch -p1 -i ../ghc-8.8.patch
+    sed -i 's/< *0.11/<1/' $pkgname.cabal
+    #sed -i 's/import Prelude.Compat/import Prelude.Compat hiding ( fail )/' src/Cryptol/Parser/{NoPat,ParserUtils}.hs
+}
+
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"