- Update to ISL version 0.14

* support IMath as an optional replacement for GMP
  * minor AST generator improvements
- Inherits changes from ISL version 0.13
  * deprecate isl_int
  * improved support for multi piecewise quasi-affine expressions
  * allow the user to impose a bound on the number of low-level operations
  * add isl_id_to_ast_expr and isl_id_to_pw_aff
  * add isl_schedule_constraints
  * hide internal structure of isl_vec
  * remove support for piplib

OBS-URL: https://build.opensuse.org/package/show/devel:libraries:c_c++/isl?expand=0&rev=17

isl.spec

@@ -16,18 +16,19 @@
 #
 
 
-%define islsover 10
+%define islsover 13
 
 Name:           isl
-Version:        0.12.2
+Version:        0.14
 Release:        0
 Summary:        Integer Set Library
 License:        MIT
 Group:          Development/Languages/C and C++
-Url:            http://www.kotnet.org/~skimo/isl/
+Url:            http://isl.gforge.inria.fr/
 BuildRequires:  gmp-devel
 BuildRoot:      %{_tmppath}/%{name}-%{version}-build
 Source:         isl-%{version}.tar.bz2
+Patch1:         isl-0.14-fixes.patch
 
 %description
 ISL is a library for manipulating sets and relations of integer points
@@ -51,6 +52,7 @@ The shared library for the ISL.
 
 %prep
 %setup -q -n isl-%{version}
+%patch1 -p1
 
 %build
 %configure