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

2020-12-23 Thread Felix Yan via arch-commits 
Date: Wednesday, December 23, 2020 @ 22:13:00
  Author: felixonmars
Revision: 785473

upgpkg: haskell-presburger 1.3.1-17: rebuild with ghc 8.10.3

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 22:12:32 UTC (rev 785472)
+++ PKGBUILD2020-12-23 22:13:00 UTC (rev 785473)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=16
+pkgrel=17
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")

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

2020-08-30 Thread Felix Yan via arch-commits 
Date: Sunday, August 30, 2020 @ 18:59:05
  Author: felixonmars
Revision: 692952

upgpkg: haskell-presburger 1.3.1-16: rebuild with happy 1.20.0

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-30 18:57:53 UTC (rev 692951)
+++ PKGBUILD2020-08-30 18:59:05 UTC (rev 692952)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=15
+pkgrel=16
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")

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

2020-08-17 Thread Felix Yan via arch-commits 
Date: Monday, August 17, 2020 @ 07:21:03
  Author: felixonmars
Revision: 682411

upgpkg: haskell-presburger 1.3.1-15: rebuild with ghc 8.10.2

Modified:
  haskell-presburger/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-17 07:20:11 UTC (rev 682410)
+++ PKGBUILD2020-08-17 07:21:03 UTC (rev 682411)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=14
+pkgrel=15
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")
@@ -31,7 +31,7 @@
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
 --prefix=/usr --docdir=/usr/share/doc/$pkgname \
 --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
-runhaskell Setup build
+runhaskell Setup build $MAKEFLAGS
 runhaskell Setup register --gen-script
 runhaskell Setup unregister --gen-script
 sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh

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

2020-04-23 Thread Felix Yan via arch-commits 
Date: Thursday, April 23, 2020 @ 14:32:27
  Author: felixonmars
Revision: 618190

upgpkg: haskell-presburger 1.3.1-14: rebuild with ghc 8.10.1

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-23 14:31:55 UTC (rev 618189)
+++ PKGBUILD2020-04-23 14:32:27 UTC (rev 618190)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=13
+pkgrel=14
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")

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

2020-02-26 Thread Felix Yan via arch-commits 
Date: Wednesday, February 26, 2020 @ 22:38:53
  Author: felixonmars
Revision: 583464

upgpkg: haskell-presburger 1.3.1-13: rebuild with ghc 8.8.3

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-26 22:38:14 UTC (rev 583463)
+++ PKGBUILD2020-02-26 22:38:53 UTC (rev 583464)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=12
+pkgrel=13
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")
@@ -44,6 +44,6 @@
 install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
 install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
 runhaskell Setup copy --destdir="$pkgdir"
-install -D -m644 "LICENSE" 
"${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
-rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
 }

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

2020-02-15 Thread Felix Yan via arch-commits 
Date: Saturday, February 15, 2020 @ 14:25:33
  Author: felixonmars
Revision: 571563

upgpkg: haskell-presburger 1.3.1-12: rebuild with ghc 8.8.2

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-15 14:24:46 UTC (rev 571562)
+++ PKGBUILD2020-02-15 14:25:33 UTC (rev 571563)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=11
+pkgrel=12
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")

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

2020-01-08 Thread Felix Yan via arch-commits 
Date: Wednesday, January 8, 2020 @ 21:06:46
  Author: felixonmars
Revision: 550637

upgpkg: haskell-presburger 1.3.1-11: rebuild with ghc 8.8.1, cabal-doctest 
1.0.7, polyparse 1.13

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-08 21:05:33 UTC (rev 550636)
+++ PKGBUILD2020-01-08 21:06:46 UTC (rev 550637)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=10
+pkgrel=11
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")

[arch-commits] Commit in haskell-presburger/trunk (PKGBUILD ghc-8.8.patch)

2020-01-08 Thread Felix Yan via arch-commits 
Date: Wednesday, January 8, 2020 @ 21:05:33
  Author: felixonmars
Revision: 550636

add fix for ghc 8.8

Added:
  haskell-presburger/trunk/ghc-8.8.patch
Modified:
  haskell-presburger/trunk/PKGBUILD

---+
 PKGBUILD  |6 --
 ghc-8.8.patch |   17 +
 2 files changed, 21 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-01-08 21:00:46 UTC (rev 550635)
+++ PKGBUILD2020-01-08 21:05:33 UTC (rev 550636)
@@ -12,15 +12,17 @@
 depends=('ghc-libs')
 makedepends=('ghc')
 
source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";
-ghc-8.4.patch containers-0.6.patch)
+ghc-8.4.patch containers-0.6.patch ghc-8.8.patch)
 
sha512sums=('37659133b05452119b5bcb52111ceef41d4f54effe95f2c19164b807c3fcfb027aaf1c7f47d295ce9a2f57d1b8a5814a17e91f8814b3e963364bdcfb7aa5c1c0'
 
'a063da967d7af8f339062188ef761d5df4b94937cc3a964263f8a174f6de4e0925e4f16225be0737bb9e1ab5f938e2f73867ec5b47c4e6c5117625b4c03788fa'
-
'140390477480e951ccebd0d0e3d8cfb4b8cf08dad0f23bf26ca75e0bae8ca347f8e063a8ee63e770e2611ad831226767eed54963d43ed8c773c73d1fc72b56cc')
+
'140390477480e951ccebd0d0e3d8cfb4b8cf08dad0f23bf26ca75e0bae8ca347f8e063a8ee63e770e2611ad831226767eed54963d43ed8c773c73d1fc72b56cc'
+
'8a78409d14b1febfe496c7bb588d4cad6ff04ac41dcf76c2771ec4d6bb7192a5546c1b0f2e2c288d832d59120dba18413e57e17cf9af2fd52315623f06cb8682')
 
 prepare() {
 cd $_hkgname-$pkgver
 patch -p1 -i ../ghc-8.4.patch
 patch -p1 -i ../containers-0.6.patch
+patch -p1 -i ../ghc-8.8.patch
 }
 
 build() {

Added: ghc-8.8.patch
===
--- ghc-8.8.patch   (rev 0)
+++ ghc-8.8.patch   2020-01-08 21:05:33 UTC (rev 550636)
@@ -0,0 +1,17 @@
+--- presburger-1.3.1/src/Data/Integer/SAT.hs.orig  2020-01-09 
05:01:01.093397167 +0800
 presburger-1.3.1/src/Data/Integer/SAT.hs   2020-01-09 05:01:53.153355713 
+0800
+@@ -709,11 +709,13 @@
+ 
+ instance Monad Answer where
+   return a   = One a
+-  fail _ = None
+   None >>= _ = None
+   One a >>= k= k a
+   Choice m1 m2 >>= k = mplus (m1 >>= k) (m2 >>= k)
+ 
++instance MonadFail Answer where
++  fail _ = None
++
+ instance Alternative Answer where
+   empty = mzero
+   (<|>) = mplus

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

2019-04-25 Thread Felix Yan via arch-commits 
Date: Thursday, April 25, 2019 @ 12:57:54
  Author: felixonmars
Revision: 453837

upgpkg: haskell-presburger 1.3.1-10

rebuild with ghc 8.6.5

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2019-04-25 12:57:13 UTC (rev 453836)
+++ PKGBUILD2019-04-25 12:57:54 UTC (rev 453837)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=9
+pkgrel=10
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")

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

2019-03-09 Thread Felix Yan via arch-commits 
Date: Saturday, March 9, 2019 @ 17:35:23
  Author: felixonmars
Revision: 438570

upgpkg: haskell-presburger 1.3.1-9

rebuild with ghc 8.6.4

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2019-03-09 17:34:44 UTC (rev 438569)
+++ PKGBUILD2019-03-09 17:35:23 UTC (rev 438570)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=8
+pkgrel=9
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")

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

2018-12-09 Thread Felix Yan via arch-commits 
Date: Sunday, December 9, 2018 @ 22:30:10
  Author: felixonmars
Revision: 413360

upgpkg: haskell-presburger 1.3.1-8

rebuild with ghc 8.6.3, cmark-gfm 0.1.6

Modified:
  haskell-presburger/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-12-09 22:29:34 UTC (rev 413359)
+++ PKGBUILD2018-12-09 22:30:10 UTC (rev 413360)
@@ -4,10 +4,10 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=7
+pkgrel=8
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
-license=("custom:BSD3")
+license=("BSD")
 arch=('x86_64')
 depends=('ghc-libs')
 makedepends=('ghc')

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

2018-11-06 Thread Felix Yan via arch-commits 
Date: Tuesday, November 6, 2018 @ 20:01:20
  Author: felixonmars
Revision: 402048

upgpkg: haskell-presburger 1.3.1-7

rebuild with ghc 8.6.1

Modified:
  haskell-presburger/trunk/PKGBUILD

--+
 PKGBUILD |   14 +++---
 1 file changed, 7 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-11-06 20:00:41 UTC (rev 402047)
+++ PKGBUILD2018-11-06 20:01:20 UTC (rev 402048)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=6
+pkgrel=7
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("custom:BSD3")
@@ -24,10 +24,10 @@
 }
 
 build() {
-cd "${srcdir}/${_hkgname}-${pkgver}"
+cd $_hkgname-$pkgver
 
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
---prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
 --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
 runhaskell Setup build
 runhaskell Setup register --gen-script
@@ -37,11 +37,11 @@
 }
 
 package() {
-cd "${srcdir}/${_hkgname}-${pkgver}"
+cd $_hkgname-$pkgver
 
-install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
-install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
-runhaskell Setup copy --destdir="${pkgdir}"
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
 install -D -m644 "LICENSE" 
"${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
 rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
 }

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

2018-06-01 Thread Felix Yan via arch-commits 
Date: Friday, June 1, 2018 @ 17:08:06
  Author: felixonmars
Revision: 336296

upgpkg: haskell-presburger 1.3.1-5

rebuild with ghc 8.4.3

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2018-06-01 17:07:20 UTC (rev 336295)
+++ PKGBUILD2018-06-01 17:08:06 UTC (rev 336296)
@@ -5,7 +5,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=4
+pkgrel=5
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("custom:BSD3")

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

2018-05-17 Thread Felix Yan via arch-commits 
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
===
--- PKGBUILD2018-05-18 06:20:18 UTC (rev 324192)
+++ PKGBUILD2018-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}"

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

2017-11-25 Thread Felix Yan via arch-commits 
Date: Sunday, November 26, 2017 @ 07:38:26
  Author: felixonmars
Revision: 268781

upgpkg: haskell-presburger 1.3.1-3

rebuild with ghc 8.2.2

Modified:
  haskell-presburger/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2017-11-26 07:37:50 UTC (rev 268780)
+++ PKGBUILD2017-11-26 07:38:26 UTC (rev 268781)
@@ -5,7 +5,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=2
+pkgrel=3
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("custom:BSD3")

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

2017-09-22 Thread Felix Yan 
Date: Friday, September 22, 2017 @ 17:40:40
  Author: felixonmars
Revision: 259668

upgpkg: haskell-presburger 1.3.1-2

Modified:
  haskell-presburger/trunk/PKGBUILD

--+
 PKGBUILD |9 +++--
 1 file changed, 3 insertions(+), 6 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2017-09-22 17:39:59 UTC (rev 259667)
+++ PKGBUILD2017-09-22 17:40:40 UTC (rev 259668)
@@ -5,9 +5,9 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=1
+pkgrel=2
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
-url="http://github.com/yav/presburger";
+url="https://github.com/yav/presburger";
 license=("custom:BSD3")
 arch=('i686' 'x86_64')
 depends=('ghc-libs')
@@ -18,7 +18,7 @@
 build() {
 cd "${srcdir}/${_hkgname}-${pkgver}"
 
-runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
 --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
 --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
 runhaskell Setup build
@@ -36,7 +36,4 @@
 runhaskell Setup copy --destdir="${pkgdir}"
 install -D -m644 "LICENSE" 
"${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
 rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
-
-# Remove static libs
-find "$pkgdir"/usr/lib -name "*.a" -delete
 }