Revision: 70415 http://trac.macports.org/changeset/70415 Author: adfernandes@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;