Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package minisat for openSUSE:Factory checked in at 2025-04-17 16:09:29 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/minisat (Old) and /work/SRC/openSUSE:Factory/.minisat.new.30101 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "minisat" Thu Apr 17 16:09:29 2025 rev:7 rq:1270182 version:2.2.1+20230206 Changes: -------- --- /work/SRC/openSUSE:Factory/minisat/minisat.changes 2022-08-03 21:17:09.875515543 +0200 +++ /work/SRC/openSUSE:Factory/.minisat.new.30101/minisat.changes 2025-04-20 20:03:43.846485788 +0200 @@ -1,0 +2,8 @@ +Thu Apr 17 06:07:50 UTC 2025 - Jiri Slaby <jsl...@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 + +------------------------------------------------------------------- Old: ---- minisat-2.2.1+20200902.obscpio New: ---- _scmsync.obsinfo build.specials.obscpio minisat-2.2.1+20230206.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ minisat.spec ++++++ --- /var/tmp/diff_new_pack.eEzvty/_old 2025-04-20 20:03:45.690562682 +0200 +++ /var/tmp/diff_new_pack.eEzvty/_new 2025-04-20 20:03:45.730564350 +0200 @@ -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 @@ %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 ++++++ _scmsync.obsinfo ++++++ mtime: 1744870489 commit: 5101e7ad292d7c3491180ffd780686b8b6904e5c55e69dd53416fbe43541cce9 url: https://src.opensuse.org/jirislaby/d-t-s-minisat ++++++ _service ++++++ --- /var/tmp/diff_new_pack.eEzvty/_old 2025-04-20 20:03:46.258586367 +0200 +++ /var/tmp/diff_new_pack.eEzvty/_new 2025-04-20 20:03:46.302588202 +0200 @@ -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 ++++++ --- /var/tmp/diff_new_pack.eEzvty/_old 2025-04-20 20:03:46.526597543 +0200 +++ /var/tmp/diff_new_pack.eEzvty/_new 2025-04-20 20:03:46.554598710 +0200 @@ -1,5 +1,6 @@ <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> +(No newline at EOF) ++++++ minisat-2.2.1+20200902.obscpio -> minisat-2.2.1+20230206.obscpio ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/minisat-2.2.1+20200902/minisat/utils/System.cc new/minisat-2.2.1+20230206/minisat/utils/System.cc --- old/minisat-2.2.1+20200902/minisat/utils/System.cc 2020-09-02 22:31:58.000000000 +0200 +++ new/minisat-2.2.1+20230206/minisat/utils/System.cc 2023-02-06 21:16:44.000000000 +0100 @@ -97,7 +97,7 @@ void Minisat::setX86FPUPrecision() { -#if defined(__linux__) && defined(_FPU_EXTENDED) && defined(_FPU_DOUBLE) && defined(_FPU_GETCW) +#if defined(__GLIBC__) && defined(_FPU_EXTENDED) && defined(_FPU_DOUBLE) && defined(_FPU_GETCW) // Only correct FPU precision on Linux architectures that needs and supports it: fpu_control_t oldcw, newcw; _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/minisat-2.2.1+20200902/minisat/utils/System.h new/minisat-2.2.1+20230206/minisat/utils/System.h --- old/minisat-2.2.1+20200902/minisat/utils/System.h 2020-09-02 22:31:58.000000000 +0200 +++ new/minisat-2.2.1+20230206/minisat/utils/System.h 2023-02-06 21:16:44.000000000 +0100 @@ -21,7 +21,7 @@ #ifndef Minisat_System_h #define Minisat_System_h -#if defined(__linux__) +#if defined(__GLIBC__) #include <fpu_control.h> #endif ++++++ minisat.obsinfo ++++++ --- /var/tmp/diff_new_pack.eEzvty/_old 2025-04-20 20:03:47.298629735 +0200 +++ /var/tmp/diff_new_pack.eEzvty/_new 2025-04-20 20:03:47.338631403 +0200 @@ -1,5 +1,5 @@ name: minisat -version: 2.2.1+20200902 -mtime: 1599078718 -commit: 37158a35c62d448b3feccfa83006266e12e5acb7 +version: 2.2.1+20230206 +mtime: 1675714604 +commit: 14c78206cd12d1d36b7e042fa758747c135670a4
