Add isl-static package to provide static library files

(cherry picked from commit b0335b4b403b520d19a2163dbad8c199e08bb41b)

isl.spec

@@ -16,7 +16,7 @@ URL: http://isl.gforge.inria.fr/
 #
 # % global buildid .local
 
-Release: 11%{?buildid}
+Release: 12%{?buildid}
 
 BuildRequires:  gcc
 BuildRequires: gmp-devel
@@ -41,6 +41,21 @@ vertex enumeration.  It also includes an ILP solver based on generalized
 basis reduction, transitive closures on maps (which may encode infinite
 graphs), dependence analysis and bounds on piecewise step-polynomials.
 
+%package static
+Summary: static library for Integer point manipulation library
+Requires: isl%{?_isa} == %{version}-%{release}
+Requires: gmp-devel%{?_isa}
+
+%description static
+isl is a library for manipulating sets and relations of integer points
+bounded by linear constraints.  Supported operations on sets include
+intersection, union, set difference, emptiness check, convex hull,
+(integer) affine hull, integer projection, computing the lexicographic
+minimum using parametric integer programming, coalescing and parametric
+vertex enumeration.  It also includes an ILP solver based on generalized
+basis reduction, transitive closures on maps (which may encode infinite
+graphs), dependence analysis and bounds on piecewise step-polynomials.
+
 %package devel
 Summary: Development for building integer point manipulation library
 Requires: isl%{?_isa} == %{version}-%{release}
@@ -78,8 +93,6 @@ cd ..
 
 cd isl-%{version}
 %make_install INSTALL="install -p"
-rm -f %{buildroot}/%{_libdir}/libisl.a
-rm -f %{buildroot}/%{_libdir}/libisl.la
 mkdir -p %{buildroot}/%{_datadir}
 %global gdbprettydir %{_datadir}/gdb/auto-load/%{_libdir}
 mkdir -p %{buildroot}/%{gdbprettydir}
@@ -104,6 +117,12 @@ cd isl-%{version}
 %license %{docdir}/LICENSE
 %doc %{docdir}/AUTHORS %{docdir}/ChangeLog %{docdir}/README
 
+%files static
+%{_includedir}/*
+%{_libdir}/libisl.a
+%{_libdir}/libisl.la
+%{_libdir}/pkgconfig/isl.pc
+
 %files devel
 %{_includedir}/*
 %{_libdir}/libisl.so
@@ -112,6 +131,12 @@ cd isl-%{version}
 
 
 %changelog
+* Fri Apr 14 2023 zhoushuiqing <zhoushuiqing2@huawei.com> - 0.16.1-12
+- Type:Bugfix
+- ID:NA
+- SUG:NA
+- DESC:add isl-static
+
 * Thu Mar 24 2022 caodongxia <caodongxia@huawei.com> - 0.16.1-11
 - Delete %{?dist}