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

[Felix Yan]

    Date: Friday, May 18, 2018 @ 06:20:48
  Author: felixonmars
Revision: 324193

upgpkg: haskell-presburger 1.3.1-4

rebuild with ghc 8.4.2

Modified:
  haskell-presburger/trunk/PKGBUILD

----------+
 PKGBUILD |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-05-18 06:20:18 UTC (rev 324192)
+++ PKGBUILD	2018-05-18 06:20:48 UTC (rev 324193)
@@ -5,7 +5,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=3
+pkgrel=4
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger"
 license=("custom:BSD3")
@@ -15,6 +15,11 @@
 source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
 sha512sums=('37659133b05452119b5bcb52111ceef41d4f54effe95f2c19164b807c3fcfb027aaf1c7f47d295ce9a2f57d1b8a5814a17e91f8814b3e963364bdcfb7aa5c1c0')
 
+prepare() {
+    cd $_hkgname-$pkgver
+    sed -i '/import           Data.Map (Map)/i import           Prelude hiding ((<>))' src/Data/Integer/SAT.hs
+}
+
 build() {
     cd "${srcdir}/${_hkgname}-${pkgver}"