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

Last change on this file since 32345 was 32345, checked in by gwright@…, 11 years ago

Removed dependency on gmp-cxx-wrappers. The gmp port now installs the
C++ wrappers directly.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.5 KB
Line 
1# $Id: Portfile 32345 2007-12-26 17:04:14Z gwright@macports.org $
2PortSystem        1.0
3name              ppl
4version           0.9
5categories        devel math
6maintainers       ppl-devel@cs.unipr.it
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.
21homepage          http://www.cs.unipr.it/ppl/
22master_sites      ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/
23use_bzip2         yes
24checksums         md5 41f782f1505119fe7c4e829f55929772 \
25                  sha1 948ff3e4dc3a0d0c58cbb383aad2498b57030b34 \
26                  rmd160 7b25e6a15e85d912ac75bd2e95f81c618dbf4d7a
27depends_lib       port:gmp port:glpk
28
29test.run          yes
30test.target       check
Note: See TracBrowser for help on using the repository browser.