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

[Felix Yan]

    Date: Wednesday, October 17, 2018 @ 09:49:49
  Author: felixonmars
Revision: 395031

upgpkg: cryptol 2.6.0-48

rebuild with ghc 8.6.1

Modified:
  cryptol/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-10-17 09:23:59 UTC (rev 395030)
+++ PKGBUILD	2018-10-17 09:49:49 UTC (rev 395031)
@@ -2,7 +2,7 @@
 
 pkgname=cryptol
 pkgver=2.6.0
-pkgrel=47
+pkgrel=48
 pkgdesc="The Language of Cryptography"
 url="http://www.cryptol.net"
 license=("custom:BSD3")
@@ -18,6 +18,7 @@
 prepare() {
     cd $pkgname-$pkgver
     sed -i 's/<.*0.10/<1/' $pkgname.cabal
+    sed -i '1i{-# language NoMonadFailDesugaring #-}' src/Cryptol/ModuleSystem/Renamer.hs src/Cryptol/Prims/Eval.hs src/Cryptol/TypeCheck/Infer.hs src/Cryptol/TypeCheck/CheckModuleInstance.hs src/Cryptol/Transform/Specialize.hs src/Cryptol/REPL/Monad.hs src/Cryptol/REPL/Command.hs
 }
 
 build() {