# $Id: Portfile 57361 2009-09-10 06:52:39Z ryandesign@macports.org $
PortSystem        1.0
name              ppl
version           0.10.2
categories        devel math
maintainers       nomaintainer
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 \
                  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://www.cs.unipr.it/ppl/
master_sites      ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/
use_bzip2         yes
checksums         md5     5667111f53150618b0fa522ffc53fc3e \
                  sha1    9af711df8f24658a6deb61ca3b8c5e82366258bf \
                  rmd160  432d0e59c058cc1da6cfeaffcb91bebc7b6e1db2
depends_lib       port:gmp port:glpk
license           GPLv3

test.run          yes
test.target       check

livecheck.type    regex
livecheck.url     ${homepage}Download/
livecheck.regex   ${name}-(\[0-9.\]+)\\.tar
