[70415] trunk/dports/devel/ppl

[adfernandes at macports.org]

Revision: 70415
          http://trac.macports.org/changeset/70415
Author:   adfernandes at macports.org
Date:     2010-08-08 10:57:22 -0700 (Sun, 08 Aug 2010)
Log Message:
-----------
ppl: reverting (and fixing) to 10.2 due to cloog-ppl dependency

Modified Paths:
--------------
    trunk/dports/devel/ppl/Portfile

Added Paths:
-----------
    trunk/dports/devel/ppl/files/
    trunk/dports/devel/ppl/files/configure.patch

Modified: trunk/dports/devel/ppl/Portfile
===================================================================
--- trunk/dports/devel/ppl/Portfile	2010-08-08 17:26:29 UTC (rev 70414)
+++ trunk/dports/devel/ppl/Portfile	2010-08-08 17:57:22 UTC (rev 70415)
@@ -1,11 +1,20 @@
 # $Id$
 PortSystem        1.0
+
+# Warning: this will one day become part of gcc45+, and thus will use the
+#          (maybe future) 'cloog-ppl' port. As of gcc45, we need to use
+#          cloog-ppl-15.9 which depends on ppl-0.10.2 in a version-
+#          specific manner. You have been warned!
+
 name              ppl
-version           0.11
+version           0.10.2
+
 categories        devel math
-maintainers       openmaintainer adfernandes
+maintainers       adfernandes openmaintainer
 platforms         darwin
+
 description       A modern C++ library providing numerical abstractions
+
 long_description  The Parma Polyhedra Library (PPL) is a modern C++ library \
                   providing numerical abstractions especially targeted at \
                   applications in the field of analysis and verification of \
@@ -19,13 +28,21 @@
                   also supports finite powersets of (any kind of) polyhedra \
                   and linear programming problems solved with an \
                   exact-arithmetic version of the simplex algorithm.
+
 homepage          http://www.cs.unipr.it/ppl/
 master_sites      ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/
 use_bzip2         yes
-checksums         sha1    bcba279c2600833876e3002635ab47cacab632d5
+
+checksums         md5     5667111f53150618b0fa522ffc53fc3e \
+                  sha1    9af711df8f24658a6deb61ca3b8c5e82366258bf \
+                  rmd160  432d0e59c058cc1da6cfeaffcb91bebc7b6e1db2
+
 depends_lib       port:gmp port:glpk
+
 license           GPLv3
 
+patchfiles        configure.patch
+
 test.run          yes
 test.target       check
 

Added: trunk/dports/devel/ppl/files/configure.patch
===================================================================
--- trunk/dports/devel/ppl/files/configure.patch	                        (rev 0)
+++ trunk/dports/devel/ppl/files/configure.patch	2010-08-08 17:57:22 UTC (rev 70415)
@@ -0,0 +1,13 @@
+--- configure	2010-08-08 13:40:26.000000000 -0400
++++ configure	2010-08-08 13:41:00.000000000 -0400
+@@ -16472,9 +16472,7 @@
+   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"
++      << "GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch!\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;
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20100808/4c0d2f24/attachment.html>