[110918] trunk/dports/devel/ppl/Portfile

larryv at macports.org larryv at macports.org
Mon Sep 9 21:12:14 PDT 2013


Revision: 110918
          https://trac.macports.org/changeset/110918
Author:   larryv at macports.org
Date:     2013-09-09 21:12:14 -0700 (Mon, 09 Sep 2013)
Log Message:
-----------
ppl: Replace broken download URL; update description; simplify compiler
check; rewrap comment.

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

Modified: trunk/dports/devel/ppl/Portfile
===================================================================
--- trunk/dports/devel/ppl/Portfile	2013-09-10 03:38:18 UTC (rev 110917)
+++ trunk/dports/devel/ppl/Portfile	2013-09-10 04:12:14 UTC (rev 110918)
@@ -12,24 +12,25 @@
 maintainers         nomaintainer
 license             GPL-3+
 
-description         A modern C++ library providing numerical abstractions
+description         Parma Polyhedra Library
+long_description    The Parma Polyhedra Library (PPL) provides numerical \
+                    abstractions especially targeted at applications in \
+                    the field of analysis and verification of complex \
+                    systems. These abstractions include convex polyhedra, \
+                    some special classes of polyhedra shapes that offer \
+                    interesting complexity/precision tradeoffs, and grids \
+                    which represent regularly spaced points that satisfy \
+                    a set of linear congruence relations. The library \
+                    also supports finite powersets and products of \
+                    polyhedra and grids, a mixed integer linear \
+                    programming problem solver using an exact-arithmetic \
+                    version of the simplex algorithm, a parametric integer \
+                    programming solver, and primitives for termination \
+                    analysis via the automatic synthesis of linear ranking \
+                    functions.
 
-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 \
-                    complex systems. The PPL can handle all the convex \
-                    polyhedra that can be defined as the intersection of a \
-                    finite number of (open or closed) hyperspaces, each \
-                    described by an equality or inequality (strict or \
-                    non-strict) with rational coefficients. The PPL also \
-                    handles restricted classes of polyhedra that offer \
-                    interesting complexity/precision tradeoffs. The library \
-                    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://bugseng.com/products/ppl/
-master_sites        http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ \
+master_sites        http://bugseng.com/products/ppl/download/ftp/releases/${version} \
                     ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/
 use_bzip2           yes
 
@@ -47,11 +48,13 @@
 
 compiler.fallback-append apple-gcc-4.2
 
-if { [string match "*clang*" ${configure.compiler}] || [string match "*llvm*" ${configure.compiler}] } {
-    # As of 'ppl-0.12.1', we need to be careful about use of the '--enable-fpmath' flag!
-    # Newer versions of 'clang' will error about '-frounding-math' being unsupported due to '-Werror'.
-    # Older versions of 'clang' will just warn about '-frounding-math' despite '-Werror'.
-    # And 'llvm-gcc' does not '-frounding-math' and siliently ignores it.
+if {[regexp clang|llvm ${configure.compiler}]} {
+    # As of 'ppl-0.12.1', we need to be careful about use of the
+    # '--enable-fpmath' flag! Newer versions of 'clang' will error about
+    # '-frounding-math' being unsupported due to '-Werror'. Older
+    # versions of 'clang' will just warn about '-frounding-math' despite
+    # '-Werror'. And 'llvm-gcc' does not '-frounding-math' and siliently
+    # ignores it.
     configure.args-append   --enable-fpmath=no
     configure.ccache        no
     configure.distcc        no
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20130909/76178d9c/attachment.html>


More information about the macports-changes mailing list