[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