Accepting request 762620 from devel:libraries:c_c++

- Add isl_basic_map_underlying_set-fix.patch from upstream. (forwarded request 762618 from marxin)

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

baselibs.conf

@@ -1,4 +1,4 @@
-libisl19
+libisl22
 isl-devel
   requires -isl-<targettype>
-  requires "libisl19-<targettype> = <version>"
+  requires "libisl22-<targettype> = <version>"

isl-0.20.tar.xz

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

isl-0.22.tar.xz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:6c8bc56c477affecba9c59e2c9f026967ac8bad01b51bdd07916db40a517b9fa
+size 1676992

isl.changes

@@ -1,3 +1,24 @@
+-------------------------------------------------------------------
+Fri Jan 10 08:06:27 UTC 2020 - Martin Liška <mliska@suse.cz>
+
+- Add isl_basic_map_underlying_set-fix.patch from upstream.
+
+-------------------------------------------------------------------
+Fri Jan  3 10:57:47 UTC 2020 - Martin Liška <mliska@suse.cz>
+
+- Update to 0.22:
+  * improved bindings
+  * scheduler fix involving fixed dimensions
+  * accept ranges in tuples during parsing
+  * add some convenience functions
+- Update to 0.21:
+  * preliminary C++ bindings
+  * use incremental scheduler by default
+  * introduce isl_size type
+  * rename isl_ast_op_type to isl_ast_expr_op_type
+  * fix coalescing bugs
+  * use isl_bool to return extra boolean argument
+
 -------------------------------------------------------------------
 Thu Aug  9 22:28:01 UTC 2018 - rpm@fthiessen.de
 

isl.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package isl
 #
-# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2020 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -12,20 +12,21 @@
 # license that conforms to the Open Source Definition (Version 1.9)
 # published by the Open Source Initiative.
 
-# Please submit bugfixes or comments via http://bugs.opensuse.org/
+# Please submit bugfixes or comments via https://bugs.opensuse.org/
 #
 
 
-%define islsover 19
+%define islsover 22
 Name:           isl
-Version:        0.20
+Version:        0.22
 Release:        0
 Summary:        Integer Set Library
 License:        MIT
 Group:          Development/Languages/C and C++
-Url:            http://isl.gforge.inria.fr/
+URL:            http://isl.gforge.inria.fr/
 Source:         http://isl.gforge.inria.fr/isl-%{version}.tar.xz
 Source1:        baselibs.conf
+Patch0:         isl_basic_map_underlying_set-fix.patch
 BuildRequires:  gmp-devel
 BuildRequires:  pkgconfig
 BuildRoot:      %{_tmppath}/%{name}-%{version}-build
@@ -55,6 +56,7 @@ bounded by linear constraints.
 
 %prep
 %setup -q
+%patch0 -p1
 
 %build
 %configure --disable-static

isl_basic_map_underlying_set-fix.patch

@@ -0,0 +1,13 @@
+diff --git a/isl_map.c b/isl_map.c
+index 4271ba545b..acb35a224b 100644
+--- a/isl_map.c
++++ b/isl_map.c
+@@ -5511,6 +5511,8 @@ __isl_give isl_basic_set *isl_basic_map_underlying_set(
+ 	    !isl_space_is_named_or_nested(bmap->dim, isl_dim_out))
+ 		return bset_from_bmap(bmap);
+ 	bmap = isl_basic_map_cow(bmap);
++	if (!bmap)
++		return NULL;
+ 	space = isl_basic_map_take_space(bmap);
+ 	space = isl_space_underlying(space, bmap->n_div);
+ 	bmap = isl_basic_map_restore_space(bmap, space);