View the most recent changes for the ppl port at: ppl.darwinports.com/diff
Scroll down toward the bottom of the page to get installation instructions for ppl.
The raw portfile for ppl 0.10.2 is located here:
http://ppl.darwinports.com/dports/devel/ppl/Portfile
Find related portfiles with the unique DarwinPorts.com search feature.
Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/ppl

The ppl Portfile 57361 2009-09-10 06:52:39Z ryandesign macports.org $
PortSystem 1.0
Name: ppl
Version: 0.10.2
Category: devel math
Maintainers: nomaintainer
Platform: darwin
Description: A modern C++ library providing numerical abstractions
Long Description: The Parma Polyhedra Library (PPL) is a modern C++ library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. The PPL can handle all the convex polyhedra that can be defined as the intersection of a finite number of (open or closed) hyperspaces, each described by an equality or inequality (strict or non-strict) with rational coefficients. The PPL also handles restricted classes of polyhedra that offer interesting complexity/precision tradeoffs. The library also supports finite powersets of (any kind of) polyhedra and linear programming problems solved with an exact-arithmetic version of the simplex algorithm.
Homepage: http://www.cs.unipr.it/ppl/
Master Sites: ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/
use_bzip2 yes
Checksums: md5 5667111f53150618b0fa522ffc53fc3e sha1 9af711df8f24658a6deb61ca3b8c5e82366258bf rmd160 432d0e59c058cc1da6cfeaffcb91bebc7b6e1db2
depends_lib port:gmp port:glpk
license GPLv3

test.run yes
test.target check

livecheck.type regex
livecheck.url ${homepage}Download/
livecheck.regex ${name}-(\[0-9.\]+)\\.tar

If you haven't already installed Darwin Ports, you can find easy instructions for doing so at the main Darwin Ports page.
Once Darwin Ports has been installed, in a terminal window and while online, type the following and hit return:

%  cd /opt/local/bin/portslocation/dports/ppl
%  sudo port install ppl  
Password: 

You will then be prompted for your root password, which you should enter. You may have to wait for a few minutes while the software is retrieved from the network and installed for you. Y ou should see something that looks similar to:

--->  Fetching ppl
--->  Verifying checksum for ppl
--->  Extracting ppl
--->  Configuring ppl
--->  Building ppl with target all

--->  Staging ppl into destroot

--->  Installing ppl

- Make sure that you do not close the terminal window while Darwin Ports is working. Once the software has been installed, you can find further information about using ppl with these commands:

%  man ppl
%  apropos ppl
%  which ppl
%  locate ppl

 Where to find more information: