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

[Antonio Rojas via arch-commits]

Date: Monday, December 16, 2019 @ 20:49:39
  Author: arojas
Revision: 537883

swi-prolog 8.0 rebuild (FS#64864)

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-16 20:37:39 UTC (rev 537882)
+++ PKGBUILD2019-12-16 20:49:39 UTC (rev 537883)
@@ -4,7 +4,7 @@
 
 pkgname=ppl
 pkgver=1.2
-pkgrel=3
+pkgrel=4
 pkgdesc="A modern library for convex polyhedra and other numerical 
abstractions"
 arch=(x86_64)
 url="https://bugseng.com/products/ppl;
@@ -14,9 +14,17 @@
 optdepends=('swi-prolog: SWI Prolog interface')
 options=(!docs)
 
source=(https://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
-md5sums=('2b43339316a3139fd75c7e8ca7ddc201')
+sha256sums=('6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8')
 validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
 
+prepare() {
+  cd ppl-$pkgver
+# Adapt to SWI Prolog 8.x (Fedora)
+  sed -i 's/-dump-runtime-variables/-&/g' configure
+# Fix detection of C++11 features (Fedora)
+  sed -i 's,== 201103L,>= 201103L,g' configure
+}
+
 build() {
   cd ppl-$pkgver
   ./configure --prefix=/usr --enable-interfaces="c,cxx,swi_prolog"

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

[Evangelos Foutras via arch-commits]

Date: Friday, November 9, 2018 @ 23:20:27
  Author: foutrelis
Revision: 405249

PIE/BUILDINFO rebuild

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2018-11-09 23:20:25 UTC (rev 405248)
+++ PKGBUILD2018-11-09 23:20:27 UTC (rev 405249)
@@ -4,7 +4,7 @@
 
 pkgname=ppl
 pkgver=1.2
-pkgrel=2
+pkgrel=3
 pkgdesc="A modern library for convex polyhedra and other numerical 
abstractions"
 arch=(x86_64)
 url="http://bugseng.com/products/ppl;

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

[Antonio Rojas]

Date: Sunday, August 27, 2017 @ 14:38:00
  Author: arojas
Revision: 254631

Ignore test failures until upstream reacts (FS#54863)

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2017-08-27 12:36:08 UTC (rev 254630)
+++ PKGBUILD2017-08-27 14:38:00 UTC (rev 254631)
@@ -26,7 +26,7 @@
 
 check() {
   cd ppl-$pkgver
-  make check
+  make check || /bin/true # https://www.cs.unipr.it/mantis/view.php?id=2120
 }
 
 package() {

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

[Antonio Rojas]

Date: Monday, July 17, 2017 @ 17:58:40
  Author: arojas
Revision: 245508

Enable glpk and prolog interface (FS#54851)

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2017-07-17 17:09:12 UTC (rev 245507)
+++ PKGBUILD2017-07-17 17:58:40 UTC (rev 245508)
@@ -5,12 +5,14 @@
 
 pkgname=ppl
 pkgver=1.2
-pkgrel=1
+pkgrel=2
 pkgdesc="A modern library for convex polyhedra and other numerical 
abstractions"
 arch=(i686 x86_64)
 url="http://bugseng.com/products/ppl;
 license=(GPL3)
-depends=(gmp)
+depends=(glpk)
+makedepends=(swi-prolog)
+optdepends=('swi-prolog: SWI Prolog interface')
 options=(!docs)
 
source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
 md5sums=('2b43339316a3139fd75c7e8ca7ddc201')
@@ -18,7 +20,7 @@
 
 build() {
   cd ppl-$pkgver
-  ./configure --prefix=/usr --enable-interfaces="c,cxx"
+  ./configure --prefix=/usr --enable-interfaces="c,cxx,swi_prolog"
   make
 }
 

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

[Antonio Rojas]

Date: Monday, June 6, 2016 @ 18:40:42
  Author: arojas
Revision: 178032

Update to 1.2

Modified:
  ppl/trunk/PKGBUILD

--+
 PKGBUILD |   20 ++--
 1 file changed, 10 insertions(+), 10 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2016-06-06 15:13:32 UTC (rev 178031)
+++ PKGBUILD2016-06-06 16:40:42 UTC (rev 178032)
@@ -1,19 +1,19 @@
 # $Id$
-# Maintainer: Allan McRae 
+# Maintainer: Antonio Rojas 
+# Contributor: Allan McRae 
 # Contributor: ezzetabi 
 
 pkgname=ppl
-pkgver=1.1
-pkgrel=2
+pkgver=1.2
+pkgrel=1
 pkgdesc="A modern library for convex polyhedra and other numerical 
abstractions"
-arch=('i686' 'x86_64')
+arch=(i686 x86_64)
 url="http://bugseng.com/products/ppl;
-license=('GPL3')
-depends=('gmp')
-options=('!docs')
-source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('4f2422c0ef3f409707af32108deb30a7'
- 'SKIP')
+license=(GPL3)
+depends=(gmp)
+options=(!docs)
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
+md5sums=('2b43339316a3139fd75c7e8ca7ddc201')
 validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
 
 build() {

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

[Felix Yan]

Date: Sunday, December 6, 2015 @ 02:00:42
  Author: fyan
Revision: 148709

C++11 ABI rebuild

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2015-12-06 00:47:36 UTC (rev 148708)
+++ PKGBUILD2015-12-06 01:00:42 UTC (rev 148709)
@@ -4,7 +4,7 @@
 
 pkgname=ppl
 pkgver=1.1
-pkgrel=1
+pkgrel=2
 pkgdesc="A modern library for convex polyhedra and other numerical 
abstractions"
 arch=('i686' 'x86_64')
 url="http://bugseng.com/products/ppl;

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

[Andrea Scarpino]

Date: Saturday, January 24, 2015 @ 11:51:33
  Author: andrea
Revision: 126525

Add validpgpkeys array

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2015-01-24 10:40:34 UTC (rev 126524)
+++ PKGBUILD2015-01-24 10:51:33 UTC (rev 126525)
@@ -14,6 +14,7 @@
 
source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
 md5sums=('4f2422c0ef3f409707af32108deb30a7'
  'SKIP')
+validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
 
 build() {
   cd ppl-$pkgver

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

[Eric Bélanger]

Date: Wednesday, October 30, 2013 @ 03:05:19
  Author: eric
Revision: 197776

upgpkg: ppl 1.1-1

Upstream update

Modified:
  ppl/trunk/PKGBUILD

--+
 PKGBUILD |   21 ++---
 1 file changed, 10 insertions(+), 11 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2013-10-30 00:06:53 UTC (rev 197775)
+++ PKGBUILD2013-10-30 02:05:19 UTC (rev 197776)
@@ -3,31 +3,30 @@
 # Contributor: ezzetabi ezzetabi at gawab dot com
 
 pkgname=ppl
-pkgver=1.0
+pkgver=1.1
 pkgrel=1
-pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
+pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions
 arch=('i686' 'x86_64')
 url=http://bugseng.com/products/ppl;
 license=('GPL3')
-depends=('gmp=5.0')
-options=('!docs' '!libtool')
+depends=('gmp')
+options=('!docs')
 
source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c'
- '5f490df826c76fed296060ca8fca4eb5')
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+ 'SKIP')
 
 build() {
-  cd $srcdir/ppl-$pkgver
+  cd ppl-$pkgver
   ./configure --prefix=/usr --enable-interfaces=c,cxx
   make
 }
 
 check() {
-  cd $srcdir/ppl-$pkgver
+  cd ppl-$pkgver
   make check
 }
 
 package() {
-  cd $srcdir/ppl-$pkgver
-  make DESTDIR=$pkgdir install
+  cd ppl-$pkgver
+  make DESTDIR=$pkgdir install
 }
-

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

[Allan McRae]

Date: Saturday, June 30, 2012 @ 04:11:02
  Author: allan
Revision: 162773

upgpkg: ppl 1.0-1

upstream update

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2012-06-30 07:29:52 UTC (rev 162772)
+++ PKGBUILD2012-06-30 08:11:02 UTC (rev 162773)
@@ -3,7 +3,7 @@
 # Contributor: ezzetabi ezzetabi at gawab dot com
 
 pkgname=ppl
-pkgver=0.12.1
+pkgver=1.0
 pkgrel=1
 pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
 arch=('i686' 'x86_64')
@@ -12,8 +12,8 @@
 depends=('gmp=5.0')
 options=('!docs' '!libtool')
 
source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('cec8144f2072ac45a850214cca97d075'
- '43eeeb147f9d8b3608aead63486c9545')
+md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c'
+ '5f490df826c76fed296060ca8fca4eb5')
 
 build() {
   cd $srcdir/ppl-$pkgver

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

[Allan McRae]

Date: Monday, April 16, 2012 @ 19:57:40
  Author: allan
Revision: 156320

upstream update

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2012-04-16 20:14:49 UTC (rev 156319)
+++ PKGBUILD2012-04-16 23:57:40 UTC (rev 156320)
@@ -3,7 +3,7 @@
 # Contributor: ezzetabi ezzetabi at gawab dot com
 
 pkgname=ppl
-pkgver=0.12
+pkgver=0.12.1
 pkgrel=1
 pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
 arch=('i686' 'x86_64')
@@ -12,8 +12,8 @@
 depends=('gmp=5.0')
 options=('!docs' '!libtool')
 
source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('47a5548d4e3d98cf6b97e4fd3e5db513'
- '41869f374e70d0a4d2faa61566365b9d')
+md5sums=('cec8144f2072ac45a850214cca97d075'
+ '43eeeb147f9d8b3608aead63486c9545')
 
 build() {
   cd $srcdir/ppl-$pkgver

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

[Allan McRae]

Date: Tuesday, February 28, 2012 @ 02:00:13
  Author: allan
Revision: 151602

upstream update

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2012-02-27 22:24:53 UTC (rev 151601)
+++ PKGBUILD2012-02-28 07:00:13 UTC (rev 151602)
@@ -3,16 +3,17 @@
 # Contributor: ezzetabi ezzetabi at gawab dot com
 
 pkgname=ppl
-pkgver=0.11.2
-pkgrel=2
+pkgver=0.12
+pkgrel=1
 pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
 arch=('i686' 'x86_64')
-url=http://www.cs.unipr.it/ppl;
+url=http://bugseng.com/products/ppl;
 license=('GPL3')
 depends=('gmp=5.0')
 options=('!docs' '!libtool')
-source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
-md5sums=('ce014f153a28006009db207ca953a984')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('47a5548d4e3d98cf6b97e4fd3e5db513'
+ '41869f374e70d0a4d2faa61566365b9d')
 
 build() {
   cd $srcdir/ppl-$pkgver

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

[Allan McRae]

Date: Sunday, August 14, 2011 @ 05:36:28
  Author: allan
Revision: 135487

upgpkg: ppl 0.11.2-2

complete toolchain with dependencies rebuild with new CFLAGS/LDFLAGS

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2011-08-14 09:36:03 UTC (rev 135486)
+++ PKGBUILD2011-08-14 09:36:28 UTC (rev 135487)
@@ -4,7 +4,7 @@
 
 pkgname=ppl
 pkgver=0.11.2
-pkgrel=1
+pkgrel=2
 pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
 arch=('i686' 'x86_64')
 url=http://www.cs.unipr.it/ppl;

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

[Allan McRae]

Date: Wednesday, June 29, 2011 @ 00:31:09
  Author: allan
Revision: 129854

move make check into check function

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2011-06-29 04:30:21 UTC (rev 129853)
+++ PKGBUILD2011-06-29 04:31:09 UTC (rev 129854)
@@ -18,6 +18,10 @@
   cd $srcdir/ppl-$pkgver
   ./configure --prefix=/usr --enable-interfaces=c,cxx
   make
+}
+
+check() {
+  cd $srcdir/ppl-$pkgver
   make check
 }
 

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

[Allan McRae]

Date: Monday, February 28, 2011 @ 05:47:00
  Author: allan
Revision: 111674

upgpkg: ppl 0.11.2-1
upstream bug fix

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2011-02-28 10:13:05 UTC (rev 111673)
+++ PKGBUILD2011-02-28 10:47:00 UTC (rev 111674)
@@ -3,7 +3,7 @@
 # Contributor: ezzetabi ezzetabi at gawab dot com
 
 pkgname=ppl
-pkgver=0.11.1
+pkgver=0.11.2
 pkgrel=1
 pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
 arch=('i686' 'x86_64')
@@ -12,7 +12,7 @@
 depends=('gmp=5.0')
 options=('!docs' '!libtool')
 
source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
-md5sums=('7d17f4bbd78afad20c8756a5dd260c5c')
+md5sums=('ce014f153a28006009db207ca953a984')
 
 build() {
   cd $srcdir/ppl-$pkgver

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

[Allan McRae]

Date: Monday, February 21, 2011 @ 04:16:02
  Author: allan
Revision: 110658

upgpkg: ppl 0.11.1-1
upstream update

Modified:
  ppl/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2011-02-21 09:05:00 UTC (rev 110657)
+++ PKGBUILD2011-02-21 09:16:02 UTC (rev 110658)
@@ -3,7 +3,7 @@
 # Contributor: ezzetabi ezzetabi at gawab dot com
 
 pkgname=ppl
-pkgver=0.11
+pkgver=0.11.1
 pkgrel=1
 pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
 arch=('i686' 'x86_64')
@@ -12,7 +12,7 @@
 depends=('gmp=5.0')
 options=('!docs' '!libtool')
 
source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
-md5sums=('ba527ec0ffc830ce16fad8a4195a337e')
+md5sums=('7d17f4bbd78afad20c8756a5dd260c5c')
 
 build() {
   cd $srcdir/ppl-$pkgver
@@ -25,3 +25,4 @@
   cd $srcdir/ppl-$pkgver
   make DESTDIR=$pkgdir install
 }
+

[arch-commits] Commit in ppl/trunk (PKGBUILD ppl-0.10.2-gmp-5.0.patch)

[Allan McRae]

Date: Wednesday, August 11, 2010 @ 08:07:18
  Author: allan
Revision: 87232

upgpkg: ppl 0.11-1
upstream update

Modified:
  ppl/trunk/PKGBUILD
Deleted:
  ppl/trunk/ppl-0.10.2-gmp-5.0.patch

--+
 PKGBUILD |   22 +++---
 ppl-0.10.2-gmp-5.0.patch |   30 --
 2 files changed, 11 insertions(+), 41 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2010-08-11 09:19:39 UTC (rev 87231)
+++ PKGBUILD2010-08-11 12:07:18 UTC (rev 87232)
@@ -3,25 +3,25 @@
 # Contributor: ezzetabi ezzetabi at gawab dot com
 
 pkgname=ppl
-pkgver=0.10.2
-pkgrel=3
+pkgver=0.11
+pkgrel=1
 pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
 arch=('i686' 'x86_64')
 url=http://www.cs.unipr.it/ppl;
 license=('GPL3')
 depends=('gmp=5.0')
 options=('!docs' '!libtool')
-source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz
-ppl-0.10.2-gmp-5.0.patch)
-md5sums=('e7dd265afdeaea81f7e87a72b182d875'
- '4da347693c76ba4fb5b60ca0f321')
+source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
+md5sums=('ba527ec0ffc830ce16fad8a4195a337e')
 
 build() {
   cd $srcdir/ppl-$pkgver
-  patch -Np1 -i $srcdir/ppl-0.10.2-gmp-5.0.patch
-  autoreconf -vf
+  ./configure --prefix=/usr --enable-interfaces=c,cxx
+  make
+  make check
+}
 
-  ./configure --prefix=/usr --enable-interfaces=c,cxx || return 1
-  make || return 1
-  make DESTDIR=$pkgdir install || return 1
+package() {
+  cd $srcdir/ppl-$pkgver
+  make DESTDIR=$pkgdir install
 }

Deleted: ppl-0.10.2-gmp-5.0.patch
===
--- ppl-0.10.2-gmp-5.0.patch2010-08-11 09:19:39 UTC (rev 87231)
+++ ppl-0.10.2-gmp-5.0.patch2010-08-11 12:07:18 UTC (rev 87232)
@@ -1,30 +0,0 @@
-diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4
-index 60cecdc..15acb18 100644
 a/m4/ac_check_gmp.m4
-+++ b/m4/ac_check_gmp.m4
-@@ -71,6 +71,10 @@ AC_RUN_IFELSE([AC_LANG_SOURCE([[
- #GMP version 4.1.3 or higher is required
- #endif
- 
-+#ifndef BITS_PER_MP_LIMB
-+#define BITS_PER_MP_LIMB GMP_LIMB_BITS
-+#endif
-+
- int
- main() {
-   std::string header_version;
-@@ -97,11 +101,11 @@ main() {
- return 1;
-   }
- 
--  if (sizeof(mp_limb_t)*CHAR_BIT != GMP_LIMB_BITS
--  || GMP_LIMB_BITS != mp_bits_per_limb) {
-+  if (sizeof(mp_limb_t)*CHAR_BIT != BITS_PER_MP_LIMB
-+  || BITS_PER_MP_LIMB != mp_bits_per_limb) {
- std::cerr
-GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:\n
--   header gives   __GMP_BITS_PER_MP_LIMB  ;\n
-+   header gives   BITS_PER_MP_LIMB  ;\n
-library gives   mp_bits_per_limb  .\n
-This probably means you are on a bi-arch system and\n
-you are compiling with the wrong header or linking with\n

[arch-commits] Commit in ppl/trunk (PKGBUILD ppl-0.10.2-gmp-5.0.patch)

[Allan McRae]

Date: Thursday, March 18, 2010 @ 23:03:03
  Author: allan
Revision: 72640

upgpkg: ppl 0.10.2-3
gmp5 rebuild

Added:
  ppl/trunk/ppl-0.10.2-gmp-5.0.patch
Modified:
  ppl/trunk/PKGBUILD

--+
 PKGBUILD |   13 +
 ppl-0.10.2-gmp-5.0.patch |   30 ++
 2 files changed, 39 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2010-03-19 03:00:47 UTC (rev 72639)
+++ PKGBUILD2010-03-19 03:03:03 UTC (rev 72640)
@@ -4,18 +4,23 @@
 
 pkgname=ppl
 pkgver=0.10.2
-pkgrel=2
+pkgrel=3
 pkgdesc=A modern library for convex polyhedra and other numerical 
abstractions.
 arch=('i686' 'x86_64')
 url=http://www.cs.unipr.it/ppl;
 license=('GPL3')
-depends=('gmp=4.1.3')
+depends=('gmp=5.0')
 options=('!docs' '!libtool')
-source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
-md5sums=('e7dd265afdeaea81f7e87a72b182d875')
+source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz
+ppl-0.10.2-gmp-5.0.patch)
+md5sums=('e7dd265afdeaea81f7e87a72b182d875'
+ '4da347693c76ba4fb5b60ca0f321')
 
 build() {
   cd $srcdir/ppl-$pkgver
+  patch -Np1 -i $srcdir/ppl-0.10.2-gmp-5.0.patch
+  autoreconf -vf
+
   ./configure --prefix=/usr --enable-interfaces=c,cxx || return 1
   make || return 1
   make DESTDIR=$pkgdir install || return 1

Added: ppl-0.10.2-gmp-5.0.patch
===
--- ppl-0.10.2-gmp-5.0.patch(rev 0)
+++ ppl-0.10.2-gmp-5.0.patch2010-03-19 03:03:03 UTC (rev 72640)
@@ -0,0 +1,30 @@
+diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4
+index 60cecdc..15acb18 100644
+--- a/m4/ac_check_gmp.m4
 b/m4/ac_check_gmp.m4
+@@ -71,6 +71,10 @@ AC_RUN_IFELSE([AC_LANG_SOURCE([[
+ #GMP version 4.1.3 or higher is required
+ #endif
+ 
++#ifndef BITS_PER_MP_LIMB
++#define BITS_PER_MP_LIMB GMP_LIMB_BITS
++#endif
++
+ int
+ main() {
+   std::string header_version;
+@@ -97,11 +101,11 @@ main() {
+ return 1;
+   }
+ 
+-  if (sizeof(mp_limb_t)*CHAR_BIT != GMP_LIMB_BITS
+-  || GMP_LIMB_BITS != mp_bits_per_limb) {
++  if (sizeof(mp_limb_t)*CHAR_BIT != BITS_PER_MP_LIMB
++  || BITS_PER_MP_LIMB != mp_bits_per_limb) {
+ std::cerr
+GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:\n
+-   header gives   __GMP_BITS_PER_MP_LIMB  ;\n
++   header gives   BITS_PER_MP_LIMB  ;\n
+library gives   mp_bits_per_limb  .\n
+This probably means you are on a bi-arch system and\n
+you are compiling with the wrong header or linking with\n