[Lunar-commits] <moonbase> isl: new module

[Christian Krause]

commit fef16080212b91ecfbd583acf736337a4be98981
Author: Christian Krause <wookietreiber at lunar-linux.org>
Date:   Sat May 21 03:54:46 2011 +0200

    isl: new module
---
 zbeta/isl/BUILD   |    7 +++++++
 zbeta/isl/DEPENDS |    2 ++
 zbeta/isl/DETAILS |   20 ++++++++++++++++++++
 3 files changed, 29 insertions(+), 0 deletions(-)

diff --git a/zbeta/isl/BUILD b/zbeta/isl/BUILD
new file mode 100644
index 0000000..e7f07b6
--- /dev/null
+++ b/zbeta/isl/BUILD
@@ -0,0 +1,7 @@
+(
+
+  OPTS+=" --with-piplib=system --disable-static" &&
+
+  default_build
+
+) > $C_FIFO 2>&1
diff --git a/zbeta/isl/DEPENDS b/zbeta/isl/DEPENDS
new file mode 100644
index 0000000..e92f158
--- /dev/null
+++ b/zbeta/isl/DEPENDS
@@ -0,0 +1,2 @@
+depends pkgconfig
+depends piplib
diff --git a/zbeta/isl/DETAILS b/zbeta/isl/DETAILS
new file mode 100644
index 0000000..58803b2
--- /dev/null
+++ b/zbeta/isl/DETAILS
@@ -0,0 +1,20 @@
+          MODULE=isl
+         VERSION=0.06
+          SOURCE=$MODULE-$VERSION.tar.bz2
+      SOURCE_URL=http://www.kotnet.org/~skimo/isl
+      SOURCE_VFY=sha1:7c87051fafeffa404f1a9168fc39632db66ab804
+        WEB_SITE=http://www.kotnet.org/~skimo/isl/
+         ENTERED=20110521
+         UPDATED=20110521
+           SHORT="Integer Set Library"
+
+cat << EOF
+isl is a library for manipulating sets and relations of integer points
+bounded by linear constraints. Supported operations on sets include
+intersection, union, set difference, emptiness check, convex hull,
+(integer) affine hull, integer projection, computing the lexicographic
+minimum using parametric integer programming, coalescing and parametric
+vertex enumeration. It also includes an ILP solver based on generalized
+basis reduction, transitive closures on maps (which may encode infinite
+graphs), dependence analysis and bounds on piecewise step-polynomials.
+EOF