diff options
Diffstat (limited to 'devel/ppl')
| -rw-r--r-- | devel/ppl/Makefile | 3 | ||||
| -rw-r--r-- | devel/ppl/files/patch-configure | 21 |
2 files changed, 23 insertions, 1 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index a254e7282fe4..625707543882 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -8,6 +8,7 @@ PORTNAME= ppl PORTVERSION= 0.10.2 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/%SUBDIR%/ \ http://www.cs.unipr.it/ppl/Download/ftp/releases/%SUBDIR%/ @@ -17,7 +18,7 @@ MAINTAINER= grosser@fim.uni-passau.de COMMENT= The Parma Polyhedra Library BUILD_DEPENDS= gm4:${PORTSDIR}/devel/m4 -LIB_DEPENDS= gmp.8:${PORTSDIR}/math/libgmp4 +LIB_DEPENDS= gmp.10:${PORTSDIR}/math/gmp USE_GMAKE= yes USE_GNOME= gnometarget diff --git a/devel/ppl/files/patch-configure b/devel/ppl/files/patch-configure new file mode 100644 index 000000000000..6802f484f464 --- /dev/null +++ b/devel/ppl/files/patch-configure @@ -0,0 +1,21 @@ +--- configure.orig 2010-04-13 10:19:13.000000000 +0200 ++++ configure 2010-04-13 10:19:48.000000000 +0200 +@@ -16469,18 +16469,6 @@ + return 1; + } + +- if (sizeof(mp_limb_t)*CHAR_BIT != GMP_LIMB_BITS +- || GMP_LIMB_BITS != 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" +- << "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" +- << "the wrong library." << std::endl; +- return 1; +- } +- + mpz_class n("3141592653589793238462643383279502884"); + return 0; + } |