From 6cbd9901861949ed6040a2275a07d9af063cd8e349c528b186d601ca3c519ec0 Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.com>
Date: Thu, 3 Dec 2015 09:05:28 +0000
Subject: [PATCH] - Update to ISL version 0.15   * improve coalescing   * add
 isl_union_access_info_compute_flow   * add mark nodes in AST   * add
 isl_union_pw_aff and isl_multi_union_pw_aff   * add schedule trees   *
 deprecate band forests   * deprecate separation_class AST generation option  
 * introduce isl_bool and isl_stat types

OBS-URL: https://build.opensuse.org/package/show/devel:libraries:c_c++/isl?expand=0&rev=20
---
 baselibs.conf        |  4 ++--
 isl-0.14-fixes.patch | 11 -----------
 isl-0.14.tar.bz2     |  3 ---
 isl-0.15.tar.bz2     |  3 +++
 isl.changes          | 13 +++++++++++++
 isl.spec             |  8 +++-----
 6 files changed, 21 insertions(+), 21 deletions(-)
 delete mode 100644 isl-0.14-fixes.patch
 delete mode 100644 isl-0.14.tar.bz2
 create mode 100644 isl-0.15.tar.bz2

diff --git a/baselibs.conf b/baselibs.conf
index 16b0b6f..16f053d 100644
--- a/baselibs.conf
+++ b/baselibs.conf
@@ -1,4 +1,4 @@
-libisl13
+libisl15
 isl-devel
   requires -isl-<targettype>
-  requires "libisl13-<targettype> = <version>"
+  requires "libisl15-<targettype> = <version>"
diff --git a/isl-0.14-fixes.patch b/isl-0.14-fixes.patch
deleted file mode 100644
index ab7ce94..0000000
--- a/isl-0.14-fixes.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- isl-0.14/isl_ast.c.orig	2014-12-04 10:19:12.262314510 +0100
-+++ isl-0.14/isl_ast.c	2014-12-04 10:19:58.317312916 +0100
-@@ -358,6 +358,8 @@
- 		return 1;
- 	case isl_ast_expr_error:
- 		return -1;
-+	default:
-+		return -1;
- 	}
- }
- 
diff --git a/isl-0.14.tar.bz2 b/isl-0.14.tar.bz2
deleted file mode 100644
index d5d7d32..0000000
--- a/isl-0.14.tar.bz2
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:7e3c02ff52f8540f6a85534f54158968417fd676001651c8289c705bd0228f36
-size 1399896
diff --git a/isl-0.15.tar.bz2 b/isl-0.15.tar.bz2
new file mode 100644
index 0000000..234f379
--- /dev/null
+++ b/isl-0.15.tar.bz2
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8ceebbf4d9a81afa2b4449113cee4b7cb14a687d7a549a963deb5e2a41458b6b
+size 1574964
diff --git a/isl.changes b/isl.changes
index 946ec4a..a2961b4 100644
--- a/isl.changes
+++ b/isl.changes
@@ -1,3 +1,16 @@
+-------------------------------------------------------------------
+Thu Dec  3 09:03:32 UTC 2015 - rguenther@suse.com
+
+- Update to ISL version 0.15
+  * improve coalescing
+  * add isl_union_access_info_compute_flow
+  * add mark nodes in AST
+  * add isl_union_pw_aff and isl_multi_union_pw_aff
+  * add schedule trees
+  * deprecate band forests
+  * deprecate separation_class AST generation option
+  * introduce isl_bool and isl_stat types
+
 -------------------------------------------------------------------
 Thu Dec  4 09:23:01 UTC 2014 - rguenther@suse.com
 
diff --git a/isl.spec b/isl.spec
index 63d9eaf..b2e39a1 100644
--- a/isl.spec
+++ b/isl.spec
@@ -1,7 +1,7 @@
 #
 # spec file for package isl
 #
-# Copyright (c) 2014 SUSE LINUX Products GmbH, Nuernberg, Germany.
+# Copyright (c) 2015 SUSE LINUX GmbH, Nuernberg, Germany.
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -16,10 +16,10 @@
 #
 
 
-%define islsover 13
+%define islsover 15
 
 Name:           isl
-Version:        0.14
+Version:        0.15
 Release:        0
 Summary:        Integer Set Library
 License:        MIT
@@ -29,7 +29,6 @@ BuildRequires:  gmp-devel
 BuildRoot:      %{_tmppath}/%{name}-%{version}-build
 Source:         isl-%{version}.tar.bz2
 Source1:        baselibs.conf
-Patch1:         isl-0.14-fixes.patch
 
 %description
 ISL is a library for manipulating sets and relations of integer points
@@ -53,7 +52,6 @@ The shared library for the ISL.
 
 %prep
 %setup -q -n isl-%{version}
-%patch1 -p1
 
 %build
 %configure