Port details |
- ppl C++ library for the manipulation of convex polyhedra
- 1.2_1 devel =2 1.2_1Version 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
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
1.2_1 06 Mar 2024 13:03:23 |
Nuno Teixeira (eduardo) |
devel/ppl: Move man pages to share/man
Approved by: portmgr (blanket) |
1.2 18 Jul 2023 15:50:38 |
Muhammad Moinur Rahman (bofh) |
devel/ppl: Fix build with llvm16
- Utilize USES=localbase
- Pet portclippy while I am here
Approved by: portmgr (blanket)
Sponsored by: The FreeBSD Foundation |
07 Sep 2022 21:58:51 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
1.2 07 Sep 2022 21:10:59 |
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
1.2 20 Jul 2022 14:21:35 |
Tobias C. Berner (tcberner) |
devel: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* "Waitman Gobble" <uzimac@da3m0n8t3r.com>
* <jkoshy@FreeBSD.org>
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Aaron H. K. Diep <ahkdiep@gmail.com>
* Aaron Hurt <ahurt@anbcs.com>
* Abel Chow <abel_chow@yahoo.com>
* Adam McLaurin
* Adam Saponara <as@php.net>
* Adam Weinberger <adamw@FreeBSD.org>
* Ade Lovett <ade@FreeBSD.org> (Only the first 15 lines of the commit message are shown above ) |
1.2 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
1.2 09 Feb 2020 21:14:49 |
yuri |
devel/ppl: Take maintainership |
1.2 04 May 2019 04:24:53 |
linimon |
These ports also build on armv7 (and thus, presumably, on armv6).
Approved by: portmgr (tier-2 blanket)
Obtained from: armv7 TRYBROKEN run |
1.2 03 May 2019 01:07:21 |
linimon |
These ports now build on aarch64.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
1.2 12 Sep 2018 11:26:48 |
lwhsu |
Fix build on -CURRENT by pulling [1] in
[1]
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl%2Fppl.git;a=commitdiff_plain;h=c39f6a07b51f89e365b05ba4147aa2aa448febd7;hp=3a5e1e20a94cffb830182f22132b153d6691b7c5
Submitted by: Dmitrii Pasechnik <dimpase@gmail.com> |
1.2 18 Dec 2017 04:58:05 |
linimon |
Also broken on aarch64. |
1.2 09 Dec 2017 00:42:05 |
linimon |
Mark more ports broken that fail on both armv6 and armv7.
Approved by: portmgr (tier-2 blanket) |
1.2 01 Apr 2016 14:00:57 |
mat |
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight |
1.2 20 Feb 2016 04:58:56 |
vanilla |
Update to 1.2.
PR: 207158
Submitted by: Ports Fury. |
1.1_1 12 Jan 2016 16:20:32 |
amdmi3 |
Convert LICENSE= "GPLxx # or later" to "GPLxx+"
Approved by: portmgr blanket |
1.1_1 14 May 2015 10:15:09 |
mat |
MASTER_SITES cleanup.
- Replace ${MASTER_SITE_FOO} with FOO.
- Merge MASTER_SITE_SUBDIR into MASTER_SITES when possible. (This means 99.9%
of the time.)
- Remove occurrences of MASTER_SITE_LOCAL when no subdirectory was present and
no hint of what it should be was present.
- Fix some logic.
- And generally, make things more simple and easy to understand.
While there, add magic values to the FESTIVAL, GENTOO, GIMP, GNUPG, QT and
SAMBA macros.
Also, replace some EXTRACT_SUFX occurences with USES=tar:*.
Checked by: make fetch-urlall-list
With hat: portmgr
Sponsored by: Absolight |
1.1_1 28 May 2014 08:23:17 |
amdmi3 |
- Switch to USES=tar,libtool |
1.1 07 Feb 2014 13:04:08 |
miwi |
- Update to 1.1
PR: 186416
Submitted by: ports fury |
1.0 08 Jan 2014 23:32:27 |
bapt |
Resurrect and update to 1.0
PR: ports/181062
Submitter by: KATO Tsuguru <tkato432@yahoo.com> |
0.11.2 02 Oct 2013 21:52:18 |
bapt |
Removed expired ports |
0.11.2 23 Sep 2013 19:57:09 |
rene |
Resurrect this port, there is an active PR against it (ports/181062)
Submitted by: KATO Tsuguru |
0.11.2 23 Sep 2013 10:57:49 |
rene |
Remove expired ports:
2013-09-21 devel/ppl: obsolete version; fails to build
2013-09-23 textproc/fileshuffle: Does not work, use gshuf from
sysutils/coreutils instead |
0.11.2 20 Sep 2013 17:13:47 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) |
0.11.2 03 Aug 2013 13:44:01 |
mat |
- Convert to new perl framework
- Remove MAKE_JOBS_SAFE=yes, it's the default. |
0.11.2 21 Jul 2013 12:41:30 |
linimon |
Maintainer's email address bounces. While here, add expiration date
since it does not build.
Note: a 1.0 release has been available for over a year. |
0.11.2 10 May 2013 13:36:57 |
miwi |
- BROKEN fails to build |
0.11.2 22 Dec 2011 10:43:08 |
linimon |
Mark as broken on sparc64-9: complains about fpu-sparc.inlines.hh.
Hat: portmgr |
0.11.2 20 Oct 2011 18:01:11 |
deischen |
Remove ".." from pkg-plist and use a PLIST_SUB to specify the 2nd
doc directory. This port installs 2 subdirectories (ppl and pwl)
under share/doc/. |
0.11.2 19 Oct 2011 00:20:16 |
deischen |
Upgrade to 0.11.2.
Submitted by: Mark Murray <markm_at_fbsd_dot_org |
0.10.2_1 11 Aug 2011 19:20:17 |
kwm |
Remove USE_GNOME=gnometarget from ports. It has been a empty keyword since
mid 2008.
PR: ports/159624
Submitted by: Ruslan Mahmatkhanov <cvs-src@yandex.ru> |
0.10.2_1 05 Jul 2011 07:43:28 |
danfe |
Kill EOL whitespace. |
0.10.2_1 03 Jul 2011 14:59:23 |
ohauer |
-remove MD5 |
0.10.2_1 04 Dec 2010 07:34:27 |
ade |
Sync to new bsd.autotools.mk |
0.10.2_1 19 Apr 2010 10:43:43 |
ale |
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin) |
0.10.2 02 Aug 2009 19:36:34 |
mezz |
-Repocopy devel/libtool15 -> libtool22 and libltdl15 -> libltdl22.
-Update libtool and libltdl to 2.2.6a.
-Remove devel/libtool15 and devel/libltdl15.
-Fix ports build with libtool22/libltdl22.
-Bump ports that depend on libltdl22 due to shared library version change.
-Explain what to do update in the UPDATING.
It has been tested with GNOME2, XFCE4, KDE3, KDE4 and other many wm/desktop
and applications in the runtime.
With help: marcus and kwm
Pointyhat-exp: a few times by pav
Tested by: pgollucci, "Romain Tartière" <romain@blogreen.org>, and
a few MarcusCom CVS users. Also, I might have missed a few.
Repocopy by: marcus
Approved by: portmgr |
0.10.2 01 Jun 2009 00:48:11 |
amdmi3 |
- Fix build on 6.x
Approved by: maintainer |
0.10.2 31 May 2009 18:35:59 |
amdmi3 |
- Update to 0.10.2
- Pass maintainership to submitter
- Mark MAKE_JOBS_SAFE
PR: 134921
Submitetd by: Tobias Grosser <grosser@fim.uni-passau.de> |
0.9_2 13 May 2009 09:46:02 |
ale |
Chase libgmp and bump PORTREVISION. |
0.9_1 26 Aug 2008 14:59:18 |
amdmi3 |
- Fix plist for NOPORTDOCS case
Reported by: QAT |
0.9_1 26 Aug 2008 13:49:41 |
gahr |
- Add build dependency on PERL5
- Fix typo
- Fix PLIST
- Bump PORTREVISION |
0.9 23 Aug 2008 00:29:36 |
gahr |
- Update to 0.9
- Respect NOPORTDOCS [1]
Reported by: QA Tindie [1] |
0.6.1_2 27 Mar 2007 16:29:09 |
pav |
- Fix after objformat removal
Reported by: pointyhat |
0.6.1_1 14 Aug 2006 22:55:18 |
clsung |
- s,INSTALLS_SHLIB,USE_LDCONFIG,g
- these include comms/ converters/ databases/ devel/ maintained by ports@
PR: ports/101916
Submitted by: Gea-Suan Lin <gslin_AT_gslin dot org> |
0.6.1_1 10 May 2006 14:46:48 |
ale |
Chase gmp library and bump PORTREVISION. |
0.6.1 24 Nov 2005 15:40:04 |
pav |
- Add some SHA256 checksums |
0.6.1 23 Aug 2004 02:22:48 |
ijliao |
upgrade to 0.6.1 |
0.5_1 14 Mar 2004 06:17:56 |
ade |
Whoa there, boy, that's a mighty big commit y'all have there...
Begin autotools sanitization sequence by requiring ports to explicitly
specify which version of {libtool,autoconf,automake} they need, erasing
the concept of a "system default".
For ports-in-waiting:
USE_LIBTOOL=YES -> USE_LIBTOOL_VER=13
USE_AUTOCONF=YES -> USE_AUTOCONF_VER=213
USE_AUTOMAKE=YES -> USE_AUTOMAKE_VER=14
Ports attempting to use the old style system after June 1st 2004 will be
sorely disappointed. |
0.5_1 04 Feb 2004 05:21:48 |
marcus |
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2) |
0.5 29 Jan 2004 07:24:56 |
trevor |
SIZEify. |
0.5 27 Jun 2003 15:53:26 |
naddy |
IGNORE should be used instead of BROKEN to indicate that a port
will never be available on a particular OS release version.
PR: 53438
Submitted by: Mark Linimon <linimon@lonesome.com> |
0.5 29 Apr 2003 12:54:58 |
ijliao |
upgrade to 0.5 |
0.4.2_1 05 Apr 2003 22:14:01 |
kris |
Add missing files |
0.4.2_1 28 Mar 2003 17:38:29 |
ijliao |
mark it broken
Noted by: kris |
0.4.2_1 20 Feb 2003 17:07:10 |
knu |
De-pkg-comment. |
0.4.2_1 20 Nov 2002 12:27:06 |
ijliao |
- Do not install useless .la files
- Support CXFLAGS/CXXFLAGS properly
PR: 45426
Submitted by: Ports Fury |
0.4.2 07 Oct 2002 12:52:32 |
ijliao |
upgrade to 0.4.2 |
0.3 06 Jul 2002 06:12:00 |
pat |
Sweep through and fix some dependency problems and forgotten shlib
version bumps
Noticed by: bento |
0.3 23 Jun 2002 15:21:55 |
ijliao |
add ppl 0.3
The Parma Polyhedra Library |