FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
ppl 1.1_1 devel on this many watch lists=0 search for ports that depend on this port
C++ library for the manipulation of convex polyhedra

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 23 Jun 2002 15:27:41
License: GPLv3
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 : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Required To Build:
  1. devel/m4
  2. devel/gmake
  3. lang/perl5.16
Required Libraries:
  1. math/glpk
  2. math/gmp
There are no ports dependent upon this port

To install the port: cd /usr/ports/devel/ppl/ && make install clean
To add the package: pkg install devel/ppl


Configuration Options
===> The following configuration options are available for ppl-1.1_1:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

Master Sites:
  1. ftp://ftp.cs.unipr.it/pub/ppl/releases/1.1/
  2. http://bugseng.com/products/ppl/download/ftp/releases/1.1/
  3. http://distcache.FreeBSD.org/ports-distfiles/

Number of commits found: 42

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
28 May 2014 08:23:17
Original commit files touched by this commit  1.1_1
Revision:355593
amdmi3 search for other commits by this committer
- Switch to USES=tar,libtool
07 Feb 2014 13:04:08
Original commit files touched by this commit  1.1
Revision:343227
miwi search for other commits by this committer
- Update to 1.1

PR:		186416
Submitted by:	ports fury
08 Jan 2014 23:32:27
Original commit files touched by this commit  1.0
Revision:339187
bapt search for other commits by this committer
Resurrect and update to 1.0

PR:		ports/181062
Submitter by:	KATO Tsuguru <tkato432@yahoo.com>
02 Oct 2013 21:52:18
Original commit files touched by this commit  0.11.2
Revision:329112
bapt search for other commits by this committer
Removed expired ports
23 Sep 2013 19:57:09
Original commit files touched by this commit  0.11.2
Revision:328035
rene search for other commits by this committer
Resurrect this port, there is an active PR against it (ports/181062)

Submitted by:	KATO Tsuguru
23 Sep 2013 10:57:49
Original commit files touched by this commit  0.11.2
Revision:327972
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
20 Sep 2013 17:13:47
Original commit files touched by this commit  0.11.2
Revision:327724
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)
03 Aug 2013 13:44:01
Refresh Original commit files touched by this commit
Revision:324191  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.
21 Jul 2013 12:41:30
Original commit files touched by this commit  0.11.2
Revision:323378
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.
10 May 2013 13:36:57
Original commit files touched by this commit  0.11.2
Revision:317800
miwi search for other commits by this committer
- BROKEN fails to build
22 Dec 2011 10:43:08
Original commit files touched by this commit  0.11.2
linimon search for other commits by this committer
Mark as broken on sparc64-9: complains about fpu-sparc.inlines.hh.

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

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

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

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

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

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

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

Noted by:       kris
20 Feb 2003 17:07:10
Original commit files touched by this commit  0.4.2_1
knu search for other commits by this committer
De-pkg-comment.
20 Nov 2002 12:27:06
Original commit files touched by this commit  0.4.2_1
ijliao search for other commits by this committer
- Do not install useless .la files
- Support CXFLAGS/CXXFLAGS properly

PR:             45426
Submitted by:   Ports Fury
07 Oct 2002 12:52:32
Original commit files touched by this commit  0.4.2
ijliao search for other commits by this committer
upgrade to 0.4.2
06 Jul 2002 06:12:00
Original commit files touched by this commit  0.3
pat search for other commits by this committer
Sweep through and fix some dependency problems and forgotten shlib
version bumps

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

Number of commits found: 42

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
ntpDec 20
ntp-develDec 20
gitDec 19
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
asterisk11Dec 11
bind99Dec 11
xorg-serverDec 10
unboundDec 09

10 vulnerabilities affecting 27 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24434
Broken 144
Deprecated 70
Ignore 397
Forbidden 2
Restricted 207
No CDROM 93
Vulnerable 19
Expired 0
Set to expire 65
Interactive 0
new 24 hours 3
new 48 hours3
new 7 days25
new fortnight41
new month132

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.