| 1 | # $Id: Portfile 57361 2009-09-10 06:52:39Z ryandesign@macports.org $ |
|---|
| 2 | PortSystem 1.0 |
|---|
| 3 | name ppl |
|---|
| 4 | version 0.10.2 |
|---|
| 5 | categories devel math |
|---|
| 6 | maintainers nomaintainer |
|---|
| 7 | platforms darwin |
|---|
| 8 | description A modern C++ library providing numerical abstractions |
|---|
| 9 | long_description The Parma Polyhedra Library (PPL) is a modern C++ library \ |
|---|
| 10 | providing numerical abstractions especially targeted at \ |
|---|
| 11 | applications in the field of analysis and verification of \ |
|---|
| 12 | complex systems. The PPL can handle all the convex \ |
|---|
| 13 | polyhedra that can be defined as the intersection of a \ |
|---|
| 14 | finite number of (open or closed) hyperspaces, each \ |
|---|
| 15 | described by an equality or inequality (strict or \ |
|---|
| 16 | non-strict) with rational coefficients. The PPL also \ |
|---|
| 17 | handles restricted classes of polyhedra that offer \ |
|---|
| 18 | interesting complexity/precision tradeoffs. The library \ |
|---|
| 19 | also supports finite powersets of (any kind of) polyhedra \ |
|---|
| 20 | and linear programming problems solved with an \ |
|---|
| 21 | exact-arithmetic version of the simplex algorithm. |
|---|
| 22 | homepage http://www.cs.unipr.it/ppl/ |
|---|
| 23 | master_sites ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ |
|---|
| 24 | use_bzip2 yes |
|---|
| 25 | checksums md5 5667111f53150618b0fa522ffc53fc3e \ |
|---|
| 26 | sha1 9af711df8f24658a6deb61ca3b8c5e82366258bf \ |
|---|
| 27 | rmd160 432d0e59c058cc1da6cfeaffcb91bebc7b6e1db2 |
|---|
| 28 | depends_lib port:gmp port:glpk |
|---|
| 29 | license GPLv3 |
|---|
| 30 | |
|---|
| 31 | test.run yes |
|---|
| 32 | test.target check |
|---|
| 33 | |
|---|
| 34 | livecheck.type regex |
|---|
| 35 | livecheck.url ${homepage}Download/ |
|---|
| 36 | livecheck.regex ${name}-(\[0-9.\]+)\\.tar |
|---|
| 37 | |
|---|
| 38 | variant gcc43 conflicts gcc44 description "Use GCC 4.3 for compilation of PPL" { |
|---|
| 39 | depends_build-append port:gcc43 |
|---|
| 40 | configure.compiler macports-gcc-4.3 |
|---|
| 41 | configure.cflags-append "-ftree-vectorize -O3 -march=native" |
|---|
| 42 | } |
|---|
| 43 | |
|---|
| 44 | variant gcc44 conflicts gcc43 description "Use GCC 4.4 for compilation of PPL" { |
|---|
| 45 | depends_build-append port:gcc44 |
|---|
| 46 | configure.compiler macports-gcc-4.4 |
|---|
| 47 | configure.cflags-append "-ftree-vectorize -O3 -march=native" |
|---|
| 48 | } |
|---|
