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}"