Accepting request 145853 from devel:libraries:c_c++

- Update to ISL version 0.11.1
  * fixes endianess issue
  * now comes with a LICENSE file

- Update to ISL version 0.11 
  * license change to MIT
  * add support for code generation

OBS-URL: https://build.opensuse.org/request/show/145853
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/isl?expand=0&rev=3

isl-0.10.tar.bz2

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:73980d8ea801f8aeff4ee57ee0be142f109f5a9f9e797d07fde02efe23b8151f
-size 1076325

isl-0.11.1.tar.bz2

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:095f4b54c88ca13a80d2b025d9c551f89ea7ba6f6201d701960bfe5c1466a98d
+size 1244610

isl.changes

@@ -1,3 +1,17 @@
+-------------------------------------------------------------------
+Mon Dec 17 13:20:59 UTC 2012 - rguenther@suse.com
+
+- Update to ISL version 0.11.1
+  * fixes endianess issue
+  * now comes with a LICENSE file
+
+-------------------------------------------------------------------
+Tue Dec  4 15:37:14 UTC 2012 - rguenther@suse.com
+
+- Update to ISL version 0.11 
+  * license change to MIT
+  * add support for code generation
+
 -------------------------------------------------------------------
 Thu Sep 27 09:13:25 UTC 2012 - idonmez@suse.com
 

isl.spec

@@ -19,15 +19,15 @@
 %define islsover 10
 
 Name:           isl
-Version:        0.10
+Version:        0.11.1
 Release:        0
 Summary:        Integer Set Library
-License:        LGPL-2.1
+License:        MIT
 Group:          Development/Languages/C and C++
 Url:            http://www.kotnet.org/~skimo/isl/
-Source:         isl-0.10.tar.bz2
 BuildRequires:  gmp-devel
 BuildRoot:      %{_tmppath}/%{name}-%{version}-build
+Source:         isl-%{version}.tar.bz2
 
 %description
 ISL is a library for manipulating sets and relations of integer points
@@ -50,7 +50,7 @@ Group:          Development/Languages/C and C++
 The shared library for the ISL.
 
 %prep
-%setup -q -n isl-0.10
+%setup -q -n isl-%{version}
 
 %build
 %configure