[Lunar-commits] <moonbase> ppl: support Graphite optimizer in gcc

[Duncan Gibson]

commit 479d380d67b67adc9b7d43effc76dc053fdd2174
Author: Denis <0lvin at ukr.net>
Date:   Tue Nov 10 20:27:32 2009 +0100

    ppl: support Graphite optimizer in gcc
    
    Graphite is a framework for high-level memory optimizations using the polyhedral model.
    
    Note: downloads, compiles and installs OK, but untested,
          rebuilt gcc compiled a new kernel without problem - engelsman
---
 zbeta/ppl/DEPENDS |    1 +
 zbeta/ppl/DETAILS |   25 +++++++++++++++++++++++++
 2 files changed, 26 insertions(+), 0 deletions(-)

diff --git a/zbeta/ppl/DEPENDS b/zbeta/ppl/DEPENDS
new file mode 100644
index 0000000..93faf5a
--- /dev/null
+++ b/zbeta/ppl/DEPENDS
@@ -0,0 +1 @@
+depends  gmp
diff --git a/zbeta/ppl/DETAILS b/zbeta/ppl/DETAILS
new file mode 100644
index 0000000..8f494cf
--- /dev/null
+++ b/zbeta/ppl/DETAILS
@@ -0,0 +1,25 @@
+          MODULE=ppl
+         VERSION=0.10.2
+          SOURCE=${MODULE}-${VERSION}.tar.bz2
+      SOURCE_URL=http://www.cs.unipr.it/ppl/Download/ftp/releases/0.10.2/
+SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION
+      SOURCE_VFY=sha1:9af711df8f24658a6deb61ca3b8c5e82366258bf
+        WEB_SITE="http://www.cs.unipr.it/ppl/"
+         ENTERED=20090426
+         UPDATED=20090426
+           SHORT="The Parma Polyhedra Library (PPL)"
+cat <<EOF
+The Parma Polyhedra Library (PPL) provides numerical abstractions
+especially targeted at applications in the field of analysis and
+verification of complex systems. These abstractions include convex
+polyhedra, defined as the intersection of a finite number of (open
+or closed) halfspaces, each described by a linear inequality (strict
+or non-strict) with rational coefficients; some special classes of
+polyhedra shapes that offer interesting complexity/precision tradeoffs;
+and grids which represent regularly spaced points that satisfy a set of
+linear congruence relations. The library also supports finite powersets
+and products of (any kind of) polyhedra and grids and a mixed integer
+linear programming problem solver using an exact-arithmetic version
+of the simplex algorithm. (More details are available on the PPL's
+internal mechanisms.)
+EOF