Port details |
- ppl C++ library for the manipulation of convex polyhedra
- 1.2 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: 2021-04-06 14:31:07
- Commit Hash: 305f148
- License: GPLv3+
- 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.
WWW: http://bugseng.com/products/ppl
- SVNWeb : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- For LIB depends:
- libppl.so:devel/ppl
- libppl_c.so: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):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gm4 : devel/m4
- gmake>=4.3 : devel/gmake
- perl5>=5.32.r0<5.33 : lang/perl5.32
- 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:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- devel_ppl
- USES:
- gmake perl5 tar:xz libtool
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
06 Apr 2021 14:31:07 1.2
|
Mathieu Arnold (mat)  |
Remove # $FreeBSD$ from Makefiles. |
09 Feb 2020 21:14:49
1.2
|
yuri  |
devel/ppl: Take maintainership |
04 May 2019 04:24:53
1.2
|
linimon  |
These ports also build on armv7 (and thus, presumably, on armv6).
Approved by: portmgr (tier-2 blanket)
Obtained from: armv7 TRYBROKEN run |
03 May 2019 01:07:21
1.2
|
linimon  |
These ports now build on aarch64.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
12 Sep 2018 11:26:48
1.2
|
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> |
18 Dec 2017 04:58:05
1.2
|
linimon  |
Also broken on aarch64. |
09 Dec 2017 00:42:05
1.2
|
linimon  |
Mark more ports broken that fail on both armv6 and armv7.
Approved by: portmgr (tier-2 blanket) |
01 Apr 2016 14:00:57
1.2
|
mat  |
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight |
20 Feb 2016 04:58:56
1.2
|
vanilla  |
Update to 1.2.
PR: 207158
Submitted by: Ports Fury. |
12 Jan 2016 16:20:32
1.1_1
|
amdmi3  |
Convert LICENSE= "GPLxx # or later" to "GPLxx+"
Approved by: portmgr blanket |
14 May 2015 10:15:09
1.1_1
|
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 |
28 May 2014 08:23:17
1.1_1
|
amdmi3  |
- Switch to USES=tar,libtool |
07 Feb 2014 13:04:08
1.1
|
miwi  |
- Update to 1.1
PR: 186416
Submitted by: ports fury |
08 Jan 2014 23:32:27
1.0
|
bapt  |
Resurrect and update to 1.0
PR: ports/181062
Submitter by: KATO Tsuguru <tkato432@yahoo.com> |
02 Oct 2013 21:52:18
0.11.2
|
bapt  |
Removed expired ports |
23 Sep 2013 19:57:09
0.11.2
|
rene  |
Resurrect this port, there is an active PR against it (ports/181062)
Submitted by: KATO Tsuguru |
23 Sep 2013 10:57:49
0.11.2
|
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 |
20 Sep 2013 17:13:47
0.11.2
|
bapt  |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) |
03 Aug 2013 13:44:01
0.11.2 
|
mat  |
- Convert to new perl framework
- Remove MAKE_JOBS_SAFE=yes, it's the default. |
21 Jul 2013 12:41:30
0.11.2
|
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. |
10 May 2013 13:36:57
0.11.2
|
miwi  |
- BROKEN fails to build |
22 Dec 2011 10:43:08
0.11.2
|
linimon  |
Mark as broken on sparc64-9: complains about fpu-sparc.inlines.hh.
Hat: portmgr |
20 Oct 2011 18:01:11
0.11.2
|
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/. |
19 Oct 2011 00:20:16
0.11.2
|
deischen  |
Upgrade to 0.11.2.
Submitted by: Mark Murray <markm_at_fbsd_dot_org |
11 Aug 2011 19:20:17
0.10.2_1 
|
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> |
05 Jul 2011 07:43:28
0.10.2_1
|
danfe  |
Kill EOL whitespace. |
03 Jul 2011 14:59:23
0.10.2_1
|
ohauer  |
-remove MD5 |
04 Dec 2010 07:34:27
0.10.2_1
|
ade  |
Sync to new bsd.autotools.mk |
19 Apr 2010 10:43:43
0.10.2_1
|
ale  |
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin) |
02 Aug 2009 19:36:34
0.10.2
|
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 |
01 Jun 2009 00:48:11
0.10.2
|
amdmi3  |
- Fix build on 6.x
Approved by: maintainer |
31 May 2009 18:35:59
0.10.2
|
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> |
13 May 2009 09:46:02
0.9_2
|
ale  |
Chase libgmp and bump PORTREVISION. |
26 Aug 2008 14:59:18
0.9_1
|
amdmi3  |
- Fix plist for NOPORTDOCS case
Reported by: QAT |
26 Aug 2008 13:49:41
0.9_1
|
gahr  |
- Add build dependency on PERL5
- Fix typo
- Fix PLIST
- Bump PORTREVISION |
23 Aug 2008 00:29:36
0.9
|
gahr  |
- Update to 0.9
- Respect NOPORTDOCS [1]
Reported by: QA Tindie [1] |
27 Mar 2007 16:29:09
0.6.1_2
|
pav  |
- Fix after objformat removal
Reported by: pointyhat |
14 Aug 2006 22:55:18
0.6.1_1
|
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> |
10 May 2006 14:46:48
0.6.1_1
|
ale  |
Chase gmp library and bump PORTREVISION. |
24 Nov 2005 15:40:04
0.6.1
|
pav  |
- Add some SHA256 checksums |
23 Aug 2004 02:22:48
0.6.1
|
ijliao  |
upgrade to 0.6.1 |
14 Mar 2004 06:17:56
0.5_1
|
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. |
04 Feb 2004 05:21:48
0.5_1
|
marcus  |
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2) |
29 Jan 2004 07:24:56
0.5
|
trevor  |
SIZEify. |
27 Jun 2003 15:53:26
0.5
|
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> |
29 Apr 2003 12:54:58
0.5
|
ijliao  |
upgrade to 0.5 |
05 Apr 2003 22:14:01
0.4.2_1
|
kris  |
Add missing files |
28 Mar 2003 17:38:29
0.4.2_1
|
ijliao  |
mark it broken
Noted by: kris |
20 Feb 2003 17:07:10
0.4.2_1
|
knu  |
De-pkg-comment. |
20 Nov 2002 12:27:06
0.4.2_1
|
ijliao  |
- Do not install useless .la files
- Support CXFLAGS/CXXFLAGS properly
PR: 45426
Submitted by: Ports Fury |
07 Oct 2002 12:52:32
0.4.2
|
ijliao  |
upgrade to 0.4.2 |
06 Jul 2002 06:12:00
0.3
|
pat  |
Sweep through and fix some dependency problems and forgotten shlib
version bumps
Noticed by: bento |
23 Jun 2002 15:21:55
0.3
|
ijliao  |
add ppl 0.3
The Parma Polyhedra Library |