notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

Port details
ppl C++ library for the manipulation of convex polyhedra
1.2_1 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (29 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/ppl-1.2_1/catalog.mk
  3. /usr/local/share/licenses/ppl-1.2_1/LICENSE
  4. /usr/local/share/licenses/ppl-1.2_1/GPLv3+
  5. bin/ppl-config
  6. bin/ppl_lcdd
  7. bin/ppl_lpsol
  8. bin/ppl_pips
  9. include/ppl.hh
  10. include/ppl_c.h
  11. lib/libppl.a
  12. lib/libppl.so
  13. lib/libppl.so.14
  14. lib/libppl.so.14.0.0
  15. lib/libppl_c.a
  16. lib/libppl_c.so
  17. lib/libppl_c.so.4
  18. lib/libppl_c.so.4.0.0
  19. share/aclocal/ppl.m4
  20. share/aclocal/ppl_c.m4
  21. share/man/man1/ppl-config.1.gz
  22. share/man/man1/ppl_lcdd.1.gz
  23. share/man/man1/ppl_lpsol.1.gz
  24. share/man/man1/ppl_pips.1.gz
  25. share/man/man3/libppl.3.gz
  26. share/man/man3/libppl_c.3.gz
  27. @owner
  28. @group
  29. @mode
Collapse this list.
Dependency lines:
  • ppl>0:devel/ppl
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):
ppl
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest1.21.2_11.21.21.2_1-1.2-
FreeBSD:13:quarterly1.21.21.21.21.21.21.21.2
FreeBSD:14:latest1.21.2_11.21.21.2_11.2-1.2
FreeBSD:14:quarterly1.21.2-1.21.21.21.21.2
FreeBSD:15:latest1.21.2_1n/a1.2n/a1.21.21.2
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gm4 : devel/m4
  2. gmake>=4.4.1 : devel/gmake
  3. perl5>=5.36<5.37 : lang/perl5.36
Library dependencies:
  1. libglpk.so : math/glpk
  2. libgmp.so : math/gmp
This port is required by:
for Libraries
  1. devel/ikos
  2. math/apron
  3. math/polymake
  4. math/py-pplpy
  5. 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:
Expand this list (2 items)
Collapse this list.
  1. ftp://ftp.cs.unipr.it/pub/ppl/releases/1.2/
  2. http://bugseng.com/products/ppl/download/ftp/releases/1.2/
Collapse this list.

Number of commits found: 58

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.2_1
06 Mar 2024 13:03:23
commit hash: a45b604cbd5915e94592d0000b9fe0cd94c0217ccommit hash: a45b604cbd5915e94592d0000b9fe0cd94c0217ccommit hash: a45b604cbd5915e94592d0000b9fe0cd94c0217ccommit hash: a45b604cbd5915e94592d0000b9fe0cd94c0217c files touched by this commit
Nuno Teixeira (eduardo) search for other commits by this committer
devel/ppl: Move man pages to share/man

Approved by:	portmgr (blanket)
1.2
18 Jul 2023 15:50:38
commit hash: 55e1b315effe01f7d1c59911327b1dececd05dadcommit hash: 55e1b315effe01f7d1c59911327b1dececd05dadcommit hash: 55e1b315effe01f7d1c59911327b1dececd05dadcommit hash: 55e1b315effe01f7d1c59911327b1dececd05dad files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
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
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
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 View all of this commit message)
1.2
20 Jul 2022 14:21:35
commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
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 View all of this commit message)
1.2
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
1.2
09 Feb 2020 21:14:49
Revision:525674Original commit files touched by this commit
yuri search for other commits by this committer
devel/ppl: Take maintainership
1.2
04 May 2019 04:24:53
Revision:500778Original commit files touched by this commit
linimon search for other commits by this committer
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
Revision:500684Original commit files touched by this commit
linimon search for other commits by this committer
These ports now build on aarch64.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
1.2
12 Sep 2018 11:26:48
Revision:479594Original commit files touched by this commit
lwhsu search for other commits by this committer
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
Revision:456590Original commit files touched by this commit
linimon search for other commits by this committer
Also broken on aarch64.
1.2
09 Dec 2017 00:42:05
Revision:455813Original commit files touched by this commit
linimon search for other commits by this committer
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
Revision:412346Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
1.2
20 Feb 2016 04:58:56
Revision:409221Original commit files touched by this commit
vanilla search for other commits by this committer
Update to 1.2.

PR:		207158
Submitted by:	Ports Fury.
1.1_1
12 Jan 2016 16:20:32
Revision:405891Original commit files touched by this commit
amdmi3 search for other commits by this committer
Convert LICENSE= "GPLxx # or later" to "GPLxx+"

Approved by:	portmgr blanket
1.1_1
14 May 2015 10:15:09
Revision:386312Original commit files touched by this commit
mat search for other commits by this committer
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
Revision:355593Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Switch to USES=tar,libtool
1.1
07 Feb 2014 13:04:08
Revision:343227Original commit files touched by this commit
miwi search for other commits by this committer
- Update to 1.1

PR:		186416
Submitted by:	ports fury
1.0
08 Jan 2014 23:32:27
Revision:339187Original commit files touched by this commit
bapt search for other commits by this committer
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
Revision:329112Original commit files touched by this commit
bapt search for other commits by this committer
Removed expired ports
0.11.2
23 Sep 2013 19:57:09
Revision:328035Original commit files touched by this commit
rene search for other commits by this committer
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
Revision:327972Original commit files touched by this commit
rene search for other commits by this committer
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
Revision:327724Original commit files touched by this commit
bapt search for other commits by this committer
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
Revision:324191Original commit files touched by this commit Sanity Test Failure
mat search for other commits by this committer
- Convert to new perl framework
- Remove MAKE_JOBS_SAFE=yes, it's the default.
0.11.2
21 Jul 2013 12:41:30
Revision:323378Original commit files touched by this commit
linimon search for other commits by this committer
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
Revision:317800Original commit files touched by this commit
miwi search for other commits by this committer
- BROKEN fails to build
0.11.2
22 Dec 2011 10:43:08
Original commit files touched by this commit
linimon search for other commits by this committer
Mark as broken on sparc64-9: complains about fpu-sparc.inlines.hh.

Hat:            portmgr
0.11.2
20 Oct 2011 18:01:11
Original commit files touched by this commit
deischen search for other commits by this committer
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
Original commit files touched by this commit
deischen search for other commits by this committer
Upgrade to 0.11.2.

Submitted by:   Mark Murray <markm_at_fbsd_dot_org
0.10.2_1
11 Aug 2011 19:20:17
Original commit files touched by this commit Sanity Test Failure
kwm search for other commits by this committer
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
Original commit files touched by this commit
danfe search for other commits by this committer
Kill EOL whitespace.
0.10.2_1
03 Jul 2011 14:59:23
Original commit files touched by this commit
ohauer search for other commits by this committer
-remove MD5
0.10.2_1
04 Dec 2010 07:34:27
Original commit files touched by this commit
ade search for other commits by this committer
Sync to new bsd.autotools.mk
0.10.2_1
19 Apr 2010 10:43:43
Original commit files touched by this commit
ale search for other commits by this committer
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
Original commit files touched by this commit
mezz search for other commits by this committer
-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
Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix build on 6.x

Approved by:    maintainer
0.10.2
31 May 2009 18:35:59
Original commit files touched by this commit
amdmi3 search for other commits by this committer
- 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
Original commit files touched by this commit
ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
0.9_1
26 Aug 2008 14:59:18
Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix plist for NOPORTDOCS case

Reported by:    QAT
0.9_1
26 Aug 2008 13:49:41
Original commit files touched by this commit
gahr search for other commits by this committer
- Add build dependency on PERL5
- Fix typo
- Fix PLIST
- Bump PORTREVISION
0.9
23 Aug 2008 00:29:36
Original commit files touched by this commit
gahr search for other commits by this committer
- Update to 0.9
- Respect NOPORTDOCS [1]

Reported by:    QA Tindie [1]
0.6.1_2
27 Mar 2007 16:29:09
Original commit files touched by this commit
pav search for other commits by this committer
- Fix after objformat removal

Reported by:    pointyhat
0.6.1_1
14 Aug 2006 22:55:18
Original commit files touched by this commit
clsung search for other commits by this committer
- 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
Original commit files touched by this commit
ale search for other commits by this committer
Chase gmp library and bump PORTREVISION.
0.6.1
24 Nov 2005 15:40:04
Original commit files touched by this commit
pav search for other commits by this committer
- Add some SHA256 checksums
0.6.1
23 Aug 2004 02:22:48
Original commit files touched by this commit
ijliao search for other commits by this committer
upgrade to 0.6.1
0.5_1
14 Mar 2004 06:17:56
Original commit files touched by this commit
ade search for other commits by this committer
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
Original commit files touched by this commit
marcus search for other commits by this committer
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)
0.5
29 Jan 2004 07:24:56
Original commit files touched by this commit
trevor search for other commits by this committer
SIZEify.
0.5
27 Jun 2003 15:53:26
Original commit files touched by this commit
naddy search for other commits by this committer
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
Original commit files touched by this commit
ijliao search for other commits by this committer
upgrade to 0.5
0.4.2_1
05 Apr 2003 22:14:01
Original commit files touched by this commit
kris search for other commits by this committer
Add missing files
0.4.2_1
28 Mar 2003 17:38:29
Original commit files touched by this commit
ijliao search for other commits by this committer
mark it broken

Noted by:       kris
0.4.2_1
20 Feb 2003 17:07:10
Original commit files touched by this commit
knu search for other commits by this committer
De-pkg-comment.
0.4.2_1
20 Nov 2002 12:27:06
Original commit files touched by this commit
ijliao search for other commits by this committer
- 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
Original commit files touched by this commit
ijliao search for other commits by this committer
upgrade to 0.4.2
0.3
06 Jul 2002 06:12:00
Original commit files touched by this commit
pat search for other commits by this committer
Sweep through and fix some dependency problems and forgotten shlib
version bumps

Noticed by:     bento
0.3
23 Jun 2002 15:21:55
Original commit files touched by this commit
ijliao search for other commits by this committer
add ppl 0.3
The Parma Polyhedra Library

Number of commits found: 58