source: trunk/dports/devel/ppl/Portfile @ 57361

Last change on this file since 57361 was 57361, checked in by ryandesign@…, 8 years ago

ppl: update to 0.10.2; fixes mtree violation reported in #21134

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.7 KB
1# $Id: Portfile 57361 2009-09-10 06:52:39Z $
2PortSystem        1.0
3name              ppl
4version           0.10.2
5categories        devel math
6maintainers       nomaintainer
7platforms         darwin
8description       A modern C++ library providing numerical abstractions
9long_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.
24use_bzip2         yes
25checksums         md5     5667111f53150618b0fa522ffc53fc3e \
26                  sha1    9af711df8f24658a6deb61ca3b8c5e82366258bf \
27                  rmd160  432d0e59c058cc1da6cfeaffcb91bebc7b6e1db2
28depends_lib       port:gmp port:glpk
29license           GPLv3
30          yes       check
34livecheck.type    regex
35livecheck.url     ${homepage}Download/
36livecheck.regex   ${name}-(\[0-9.\]+)\\.tar
Note: See TracBrowser for help on using the repository browser.