- Require gmp from polylib-devel

- Remove isl dependency

OBS-URL: https://build.opensuse.org/package/show/science/polylib?expand=0&rev=4

polylib.changes

@@ -2,6 +2,7 @@
 Sat Jun 24 14:12:04 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
 
 - Support SLE 15.x build
+- Require gmp from polylib-devel
 
 -------------------------------------------------------------------
 Sat Sep 12 13:22:45 UTC 2020 - Jan Engelhardt <jengelh@inai.de>

polylib.spec

@@ -29,11 +29,9 @@ BuildRequires:  gcc-c++
 BuildRequires:  ntl-devel
 BuildRequires:  pkg-config
 %if 0%{?suse_version} >= 1590
-BuildRequires:  pkgconfig(gmpxx)
-BuildRequires:  pkgconfig(isl)
+BuildRequires:  pkgconfig(gmp)
 %else
 BuildRequires:  gmp-devel
-BuildRequires:  isl-devel
 %endif
 
 %description
@@ -52,6 +50,11 @@ unions of polyhedra of any dimension.
 Summary:        Development files for PolyLib
 Group:          Development/Libraries/C and C++
 Requires:       %lname = %version
+%if 0%{?suse_version} >= 1590
+Requires:       pkgconfig(gmp)
+%else
+Requires:       gmp-devel
+%endif
 
 %description devel
 The Polyhedral Library (PolyLib) operates on objects made up of
@@ -69,7 +72,7 @@ developing with PolyLib.
 %autosetup -p1
 
 %build
-%configure --disable-static --with-isl=system --with-libgmp
+%configure --disable-static --with-libgmp
 %make_build
 
 %install