[Lunar-commits] <moonbase> isl: Version bump to 0.08 and moving to libs.

[Dennis `stumbles` Veatch]

commit df14c9ebc47645e26e28a76b5cb364b49dfbef80
Author: Dennis `stumbles` Veatch <stumbles at lunar-linux.org>
Date:   Tue Oct 25 20:19:17 2011 -0400

    isl: Version bump to 0.08 and moving to libs.
---
 libs/isl/BUILD    |    9 +++++++++
 libs/isl/DEPENDS  |    2 ++
 libs/isl/DETAILS  |   20 ++++++++++++++++++++
 zbeta/isl/BUILD   |    9 ---------
 zbeta/isl/DEPENDS |    2 --
 zbeta/isl/DETAILS |   20 --------------------
 6 files changed, 31 insertions(+), 31 deletions(-)

diff --git a/libs/isl/BUILD b/libs/isl/BUILD
new file mode 100644
index 0000000..d8e269a
--- /dev/null
+++ b/libs/isl/BUILD
@@ -0,0 +1,9 @@
+(
+
+  OPTS+=" --with-piplib=system --disable-static" &&
+
+  sedit "s?install-data-local ??g" Makefile.in &&
+
+  default_build
+
+) > $C_FIFO 2>&1
diff --git a/libs/isl/DEPENDS b/libs/isl/DEPENDS
new file mode 100644
index 0000000..e92f158
--- /dev/null
+++ b/libs/isl/DEPENDS
@@ -0,0 +1,2 @@
+depends pkgconfig
+depends piplib
diff --git a/libs/isl/DETAILS b/libs/isl/DETAILS
new file mode 100644
index 0000000..91a4b3c
--- /dev/null
+++ b/libs/isl/DETAILS
@@ -0,0 +1,20 @@
+          MODULE=isl
+         VERSION=0.08
+          SOURCE=$MODULE-$VERSION.tar.bz2
+      SOURCE_URL=http://www.kotnet.org/~skimo/isl
+      SOURCE_VFY=sha1:96c61c51c4b5e2f516dcd59811d5551a56465537
+        WEB_SITE=http://www.kotnet.org/~skimo/isl/
+         ENTERED=20110521
+         UPDATED=20111025
+           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
diff --git a/zbeta/isl/BUILD b/zbeta/isl/BUILD
deleted file mode 100644
index d8e269a..0000000
--- a/zbeta/isl/BUILD
+++ /dev/null
@@ -1,9 +0,0 @@
-(
-
-  OPTS+=" --with-piplib=system --disable-static" &&
-
-  sedit "s?install-data-local ??g" Makefile.in &&
-
-  default_build
-
-) > $C_FIFO 2>&1
diff --git a/zbeta/isl/DEPENDS b/zbeta/isl/DEPENDS
deleted file mode 100644
index e92f158..0000000
--- a/zbeta/isl/DEPENDS
+++ /dev/null
@@ -1,2 +0,0 @@
-depends pkgconfig
-depends piplib
diff --git a/zbeta/isl/DETAILS b/zbeta/isl/DETAILS
deleted file mode 100644
index d8fe880..0000000
--- a/zbeta/isl/DETAILS
+++ /dev/null
@@ -1,20 +0,0 @@
-          MODULE=isl
-         VERSION=0.07
-          SOURCE=$MODULE-$VERSION.tar.bz2
-      SOURCE_URL=http://www.kotnet.org/~skimo/isl
-      SOURCE_VFY=sha1:be2a49504dcb3d610b277759e98e315e4e151a55
-        WEB_SITE=http://www.kotnet.org/~skimo/isl/
-         ENTERED=20110521
-         UPDATED=20110827
-           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