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

Last change on this file since 50984 was 50984, checked in by and.damore@…, 10 years ago

Maintainer email change, second batch, mail without domain are put in domain:user form.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.5 KB
1# $Id: Portfile 50984 2009-05-14 21:08:43Z $
2PortSystem        1.0
3name              ppl
4version           0.9
5categories        devel math
7description       A modern C++ library providing numerical abstractions
8long_description  The Parma Polyhedra Library (PPL) is a modern C++ library \
9                  providing numerical abstractions especially targeted at \
10                  applications in the field of analysis and verification of \
11                  complex systems. The PPL can handle all the convex \
12                  polyhedra that can be defined as the intersection of a \
13                  finite number of (open or closed) hyperspaces, each \
14                  described by an equality or inequality (strict or \
15                  non-strict) with rational coefficients. The PPL also \
16                  handles restricted classes of polyhedra that offer \
17                  interesting complexity/precision tradeoffs. The library \
18                  also supports finite powersets of (any kind of) polyhedra \
19                  and linear programming problems solved with an \
20                  exact-arithmetic version of the simplex algorithm.
23use_bzip2         yes
24checksums         md5 41f782f1505119fe7c4e829f55929772 \
25                  sha1 948ff3e4dc3a0d0c58cbb383aad2498b57030b34 \
26                  rmd160 7b25e6a15e85d912ac75bd2e95f81c618dbf4d7a
27depends_lib       port:gmp port:glpk
28          yes       check
Note: See TracBrowser for help on using the repository browser.