- Update to ISL version 0.12.2

* isl_int has been replaced by isl_val
  * some of the old functions are still available in isl/deprecated/*.h
  but they will be removed in the future
  * The functions isl_pw_qpolynomial_eval, isl_union_pw_qpolynomial_eval,
  isl_pw_qpolynomial_fold_eval and isl_union_pw_qpolynomial_fold_eval have
  been changed to return an isl_val instead of an isl_qpolynomial
- Remove obsolete config-guess-sub-update.diff patch

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

isl.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package isl
 #
-# Copyright (c) 2013 SUSE LINUX Products GmbH, Nuernberg, Germany.
+# Copyright (c) 2014 SUSE LINUX Products GmbH, Nuernberg, Germany.
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -19,7 +19,7 @@
 %define islsover 10
 
 Name:           isl
-Version:        0.12
+Version:        0.12.2
 Release:        0
 Summary:        Integer Set Library
 License:        MIT
@@ -28,7 +28,6 @@ Url:            http://www.kotnet.org/~skimo/isl/
 BuildRequires:  gmp-devel
 BuildRoot:      %{_tmppath}/%{name}-%{version}-build
 Source:         isl-%{version}.tar.bz2
-Patch0:         config-guess-sub-update.diff
 
 %description
 ISL is a library for manipulating sets and relations of integer points
@@ -52,7 +51,6 @@ The shared library for the ISL.
 
 %prep
 %setup -q -n isl-%{version}
-%patch0
 
 %build
 %configure