[Lunar-commits] <moonbase-other> isl: added for graphite optimization

[Jean-Michel Bruenn]

commit 1fb2dc8a1413288c6a16e5a71e5eb83f0d1fd03a
Author: Jean-Michel Bruenn <wdp at lunar-linux.org>
Date: Sat, 08 Jun 2013 02:53:18 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/1fb2dc8a1413288c6a16e5a71e5eb83f0d1fd03a

isl: added for graphite optimization
---
  libs/isl/DETAILS | +17/-0    
  1 file changed, 17 insertions(+)

--- /dev/null
+++ b/libs/isl/DETAILS
@@ -0,0 +1,17 @@
+          MODULE=isl
+         VERSION=0.11.1
+          SOURCE=$MODULE-$VERSION.tar.bz2
+      SOURCE_URL=ftp://gcc.gnu.org/pub/gcc/infrastructure/
+      SOURCE_VFY=sha1:d7936929c3937e03f09b64c3c54e49422fa8ddb3
+        WEB_SITE=http://groups.google.com/group/isl-development
+         ENTERED=20130517
+         UPDATED=20130517
+           SHORT="isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints."
+
+cat << EOF
+isl is a thread-safe C library for manipulating sets and relations
+of integer points bounded by affine constraints.  The descriptions of
+the sets and relations may involve both parameters and existentially
+quantified variables.  All computations are performed in exact integer
+arithmetic using GMP.
+EOF