Accepting request 1270182 from devel:tools:statica

- Update to version 2.2.1+20230206:
  * utils/System.*: use fpu_control only on glibc
- use -DCMAKE_POLICY_VERSION_MINIMUM=3.10 to support cmake 4
- use %cmake_build

OBS-URL: https://build.opensuse.org/request/show/1270182
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=7

_scmsync.obsinfo

@@ -0,0 +1,3 @@
+mtime: 1744870489
+commit: 5101e7ad292d7c3491180ffd780686b8b6904e5c55e69dd53416fbe43541cce9
+url: https://src.opensuse.org/jirislaby/d-t-s-minisat

_service

@@ -1,5 +1,5 @@
 <services>
-  <service mode="disabled" name="obs_scm">
+  <service mode="manual" name="obs_scm">
     <param name="url">https://github.com/stp/minisat</param>
     <param name="scm">git</param>
     <param name="filename">minisat</param>
@@ -8,7 +8,7 @@
     <param name="versionrewrite-pattern">releases/(.*)</param>
     <param name="versionrewrite-replacement">\1</param>
   </service>
-  <service mode="disabled" name="set_version"/>
+  <service mode="manual" name="set_version"/>
 
   <service name="tar" mode="buildtime"/>
   <service name="recompress" mode="buildtime">

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
                 <param name="url">https://github.com/stp/minisat</param>
-              <param name="changesrevision">37158a35c62d448b3feccfa83006266e12e5acb7</param></service></servicedata>
+              <param name="changesrevision">14c78206cd12d1d36b7e042fa758747c135670a4</param></service></servicedata>

build.specials.obscpio

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

minisat-2.2.1+20200902.obscpio

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

minisat.changes

@@ -1,3 +1,11 @@
+-------------------------------------------------------------------
+Thu Apr 17 06:07:50 UTC 2025 - Jiri Slaby <jslaby@suse.cz>
+
+- Update to version 2.2.1+20230206:
+  * utils/System.*: use fpu_control only on glibc
+- use -DCMAKE_POLICY_VERSION_MINIMUM=3.10 to support cmake 4
+- use %cmake_build
+
 -------------------------------------------------------------------
 Wed Jul 27 07:30:00 UTC 2022 - Jiri Slaby <jslaby@suse.cz>
 

minisat.obsinfo

@@ -1,4 +1,4 @@
 name: minisat
-version: 2.2.1+20200902
-mtime: 1599078718
-commit: 37158a35c62d448b3feccfa83006266e12e5acb7
+version: 2.2.1+20230206
+mtime: 1675714604
+commit: 14c78206cd12d1d36b7e042fa758747c135670a4

minisat.spec

@@ -18,7 +18,7 @@
 
 Name:           minisat
 URL:            http://minisat.se/MiniSat.html
-Version:        2.2.1+20200902
+Version:        2.2.1+20230206
 Release:        0
 Summary:        SAT solver
 License:        MIT
@@ -68,8 +68,9 @@ Headers and libraries for the minisat package.
 
 %build
 %define __builder ninja
-%cmake -DMINISAT_INSTALL_CMAKE_DIR=%{_libdir}/cmake/%{name}
-%make_jobs
+%cmake -DMINISAT_INSTALL_CMAKE_DIR=%{_libdir}/cmake/%{name} \
+	-DCMAKE_POLICY_VERSION_MINIMUM=3.10
+%cmake_build
 
 %install
 %cmake_install