diff options
| author | Alex Dupre <ale@FreeBSD.org> | 2010-04-19 10:43:42 +0000 |
|---|---|---|
| committer | Alex Dupre <ale@FreeBSD.org> | 2010-04-19 10:43:42 +0000 |
| commit | bf330a57d40cb5c6f57f61de4d24c0dcbf14dbee (patch) | |
| tree | fbc3a0515acb659ae86ec22a706ac4607711c903 /devel/ppl/files/patch-configure | |
| parent | Update to 1.6.11. (diff) | |
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin)
Diffstat (limited to 'devel/ppl/files/patch-configure')
| -rw-r--r-- | devel/ppl/files/patch-configure | 21 |
1 files changed, 21 insertions, 0 deletions
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; + } |