Port details on branch 2022Q3 |
- ppl C++ library for the manipulation of convex polyhedra
- 1.2_1 devel =0 1.2Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2002-06-23 15:27:41
- Last Update: 2024-03-06 13:03:23
- Commit Hash: a45b604
- License: GPLv3+
- WWW:
- https://bugseng.com/products/ppl
- Description:
- The Parma Polyhedra Library (PPL) is a modern C++ library for the
manipulation of convex polyhedra. To be more precise, the PPL can handle
all the convex polyhedra that can be defined as the intersection of a
finite number of closed hyperspaces, each described by an equality or a
non-strict inequality with rational coefficients. (More details are
available on the PPL's internal mechanisms.) The Parma Polyhedra Library
is:
- user friendly: you write x + 2*y + 5*z <= 7 when you mean it;
- fully dynamic: available virtual memory is the only limitation to
the dimension of anything;
- written in standard C++: meant to be portable;
- exception-safe: never leaks resources or leaves invalid object
fragments around;
- rather efficient: and we hope to make it even more so;
- thoroughly documented: perhaps not literate programming but close
enough;
- free software: distributed under the terms of the GNU General
Public License.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/ppl/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/ppl
- pkg install ppl
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: ppl
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (ppl-1.2.tar.xz) = 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
SIZE (ppl-1.2.tar.xz) = 14136236
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gm4 : devel/m4
- gmake>=4.4.1 : devel/gmake
- perl5>=5.36<5.37 : lang/perl5.36
- Library dependencies:
-
- libglpk.so : math/glpk
- libgmp.so : math/gmp
- This port is required by:
- for Libraries
-
- devel/ikos
- math/apron
- math/polymake
- math/py-pplpy
- math/sage
Configuration Options:
- ===> The following configuration options are available for ppl-1.2_1:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- devel_ppl
- USES:
- gmake perl5 tar:xz libtool localbase:ldflags
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|