Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2026-07-28 18:17:32 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.2004 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Tue Jul 28 18:17:32 2026 rev:19 rq:1368135 version:2.3.4+20260728 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2025-04-07 17:37:39.739446968 +0200 +++ /work/SRC/openSUSE:Factory/.stp.new.2004/stp.changes 2026-07-28 18:19:30.621888563 +0200 @@ -1,0 +2,24 @@ +Tue Jul 28 04:10:13 UTC 2026 - Jiri Slaby <[email protected]> + +- Update to version 2.3.4+20260728: + * Keep the full export set when building the extra tools (#677) + * Build deps CryptoMiniSat static so installed stp is self-contained (#677) + * Speed up the value-set analysis by evaluating natively on 67-bit words (#674) + * Type check both operands of comparison and overflow predicates (#677) + * cbitp: propagate multiplication through the inverse relation (#677) + * Read each width once in GetType, and skip the children fetch for symbols (#677) + * Add derived simplification rules that collapse to constants (#677) + * Fix quick-install: create deps/ in setup-gtest.sh, drop test-only deps from README (#677) + * Cut STP's fixed startup cost: inline the unique-table hashers, enable -fvisibility=hidden and -Bsymbolic-functions (#677) + * Evaluate value-set combinations directly on bit-vectors (#677) + * and a lot more +- switch to tar_scm as stp sits in git now +- produce py subpackage for all %pythons +- Remove + * CMakeLists-use-absolute-libdir-in-rpath-handling.patch (upstream) + * py3.patch (superseded by the below) +- Add + * 0001-python-use-proper-library-from-usr.patch + * 0001-CMakeLists.txt-do-not-apply-patches-using-git.patch + +------------------------------------------------------------------- Old: ---- CMakeLists-use-absolute-libdir-in-rpath-handling.patch py3.patch stp-2.3.4+20240918.obscpio stp.obsinfo New: ---- 0001-CMakeLists.txt-do-not-apply-patches-using-git.patch 0001-python-use-proper-library-from-usr.patch stp-2.3.4+20260728.tar.xz ----------(Old B)---------- Old:- Remove * CMakeLists-use-absolute-libdir-in-rpath-handling.patch (upstream) * py3.patch (superseded by the below) Old: * CMakeLists-use-absolute-libdir-in-rpath-handling.patch (upstream) * py3.patch (superseded by the below) - Add ----------(Old E)---------- ----------(New B)---------- New: * 0001-python-use-proper-library-from-usr.patch * 0001-CMakeLists.txt-do-not-apply-patches-using-git.patch New:- Add * 0001-python-use-proper-library-from-usr.patch * 0001-CMakeLists.txt-do-not-apply-patches-using-git.patch ----------(New E)---------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.DqjLrK/_old 2026-07-28 18:19:34.830035399 +0200 +++ /var/tmp/diff_new_pack.DqjLrK/_new 2026-07-28 18:19:34.846035958 +0200 @@ -1,7 +1,7 @@ # # spec file for package stp # -# Copyright (c) 2025 SUSE LLC +# Copyright (c) 2026 SUSE LLC and contributors # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -18,26 +18,29 @@ %define sover 2_3 Name: stp -Version: 2.3.4+20240918 +Version: 2.3.4+20260728 Release: 0 Summary: Constraint Solver License: MIT URL: https://github.com/stp/stp/wiki Source0: %{name}-%{version}.tar.xz -Patch0: py3.patch -Patch1: CMakeLists-use-absolute-libdir-in-rpath-handling.patch +Patch0: 0001-python-use-proper-library-from-usr.patch +Patch1: 0001-CMakeLists.txt-do-not-apply-patches-using-git.patch +BuildRequires: %{python_module base} BuildRequires: bison BuildRequires: cmake +BuildRequires: cmake(minisat) BuildRequires: flex BuildRequires: gcc-c++ -BuildRequires: gmp-devel BuildRequires: libboost_program_options-devel -BuildRequires: minisat-devel BuildRequires: ninja -BuildRequires: python3-base +BuildRequires: pkgconfig(gmp) +BuildRequires: python-rpm-macros BuildRequires: python3-setuptools BuildRequires: xz +%python_subpackages + %description STP is an efficient decision procedure for the validity (or satisfiability) of formulas from a quantifier-free many-sorted theory of fixed-width bitvectors @@ -73,7 +76,7 @@ %endif %description devel -Developmnet files for stp library. +Development files for stp library. %package -n python3-stp Summary: Python bindings for stp @@ -86,24 +89,32 @@ %prep %autosetup -p1 +ROOT="$PWD" +pushd lib/extlib-abc/ +for p in "$ROOT/patches/"*; do + patch -p1 -i "$p" +done +popd + %build %define __builder ninja -%cmake \ - -DPython_ADDITIONAL_VERSIONS=3 \ - -DALSO_BUILD_STATIC_LIB:BOOL="off" \ - -DSTP_TIMESTAMPS:BOOL="off" +%cmake -DSTP_TIMESTAMPS:BOOL="off" %cmake_build %install %cmake_install +mv %{buildroot}/usr/lib/python*/site-packages/stp/ stp-py-install +%python_expand install -d %{buildroot}/%{$python_sitelib}/ +%python_expand cp -ra stp-py-install %{buildroot}/%{$python_sitelib}/stp + install -d %{buildroot}/%{_docdir}/%{name}/example install -m 644 -t %{buildroot}/%{_docdir}/%{name}/example examples/simple/* %post -n libstp%{sover} -p /sbin/ldconfig %postun -n libstp%{sover} -p /sbin/ldconfig -%files +%files -n %{name} %doc AUTHORS README.markdown %license LICENSE %{_bindir}/stp* @@ -112,7 +123,7 @@ %files -n libstp%{sover} %{_libdir}/libstp.so.* -%files devel +%files -n %{name}-devel %dir %{_includedir}/stp/ %{_includedir}/stp/*.h %dir %{_libdir}/cmake/ @@ -120,6 +131,6 @@ %{_libdir}/cmake/STP/ %{_docdir}/%{name}/example/ -%files -n python3-stp -%{python3_sitelib}/* +%files %{python_files} +%{python_sitelib}/stp ++++++ 0001-CMakeLists.txt-do-not-apply-patches-using-git.patch ++++++ From: Jiri Slaby <[email protected]> Date: Tue, 28 Jul 2026 06:30:39 +0200 Subject: CMakeLists.txt: do not apply patches/* using git References: build-fix Patch-mainline: no We apply them in .spec directly. Signed-off-by: Jiri Slaby <[email protected]> --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index bfed4b6c0372..7ddb2bfa0f43 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -497,7 +497,7 @@ include_directories(# For extlib-constbv # patch then needs rebasing or, if upstream has taken it, deleting. file(GLOB STP_ABC_PATCHES "${PROJECT_SOURCE_DIR}/patches/*.patch") list(SORT STP_ABC_PATCHES) -if(STP_ABC_PATCHES AND EXISTS "${PROJECT_SOURCE_DIR}/lib/extlib-abc/src/opt/dar/darCut.c") +if(0) if(NOT GIT_EXECUTABLE) message(FATAL_ERROR "patches/ contains patches for the vendored ABC but git was not " -- 2.55.0 ++++++ 0001-python-use-proper-library-from-usr.patch ++++++ From: Jiri Slaby <[email protected]> Date: Tue, 28 Jul 2026 07:13:20 +0200 Subject: python: use proper library from /usr References: python Patch-mainline: no Signed-off-by: Jiri Slaby <[email protected]> --- bindings/python/stp/CMakeLists.txt | 2 +- bindings/python/stp/library_path.py.in_install | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/bindings/python/stp/CMakeLists.txt b/bindings/python/stp/CMakeLists.txt index 40fa07472038..941e4ad826c7 100644 --- a/bindings/python/stp/CMakeLists.txt +++ b/bindings/python/stp/CMakeLists.txt @@ -29,7 +29,7 @@ # file(MAKE_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/$<CONFIG>) get_target_property(LIBSTP_BASENAME stp OUTPUT_NAME) -set(LIBSTP_FILENAME "${CMAKE_SHARED_LIBRARY_PREFIX}${LIBSTP_BASENAME}${CMAKE_SHARED_LIBRARY_SUFFIX}") +set(LIBSTP_FILENAME "${CMAKE_SHARED_LIBRARY_PREFIX}${LIBSTP_BASENAME}${CMAKE_SHARED_LIBRARY_SUFFIX}.${PROJECT_VERSION_MAJOR}.${PROJECT_VERSION_MINOR}") # # 'library_path.py.in' has some code that is conditional on being on Win32 or diff --git a/bindings/python/stp/library_path.py.in_install b/bindings/python/stp/library_path.py.in_install index e7053503501d..d0ab6540996c 100644 --- a/bindings/python/stp/library_path.py.in_install +++ b/bindings/python/stp/library_path.py.in_install @@ -28,6 +28,5 @@ # Search paths for the stp shared library PATHS = [ - '@CMAKE_INSTALL_PREFIX@/@CMAKE_INSTALL_LIBDIR@/@LIBSTP_FILENAME@', - '@CMAKE_INSTALL_PREFIX@/@CMAKE_INSTALL_BINDIR@/@LIBSTP_FILENAME@' + '@CMAKE_INSTALL_FULL_LIBDIR@/@LIBSTP_FILENAME@' ] -- 2.55.0 ++++++ _scmsync.obsinfo ++++++ --- /var/tmp/diff_new_pack.DqjLrK/_old 2026-07-28 18:19:34.990040982 +0200 +++ /var/tmp/diff_new_pack.DqjLrK/_new 2026-07-28 18:19:34.998041261 +0200 @@ -1,4 +1,4 @@ -mtime: 1743923877 -commit: aa66c46915db6bf07a869588e5115fb2b30d65883e9666b60f7ea1063b8bd57b +mtime: 1785219475 +commit: 7c51bc8cf2404a5d7745c1c7a7260677ab6bea6749e677eca5ef70eeefc9cab3 url: https://src.opensuse.org/jirislaby/d-t-s-stp.git ++++++ _service ++++++ --- /var/tmp/diff_new_pack.DqjLrK/_old 2026-07-28 18:19:35.042042797 +0200 +++ /var/tmp/diff_new_pack.DqjLrK/_new 2026-07-28 18:19:35.046042937 +0200 @@ -1,17 +1,13 @@ <services> - <service mode="manual" name="obs_scm"> + <service name="tar_scm" mode="manual"> <param name="url">https://github.com/stp/stp</param> <param name="scm">git</param> - <param name="filename">stp</param> - <param name="revision">2e31fe7f1e6db59f8dce1666ce6d932df7ccf4e9</param> <param name="changesgenerate">enable</param> <param name="versionformat">@PARENT_TAG@+%cd</param> <param name="match-tag">[0-9]*</param> </service> - <service mode="manual" name="set_version"/> - - <service name="tar" mode="buildtime"/> - <service name="recompress" mode="buildtime"> + <service name="set_version" mode="manual" /> + <service name="recompress" mode="manual"> <param name="file">stp-*.tar</param> <param name="compression">xz</param> </service> ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.DqjLrK/_old 2026-07-28 18:19:35.070043774 +0200 +++ /var/tmp/diff_new_pack.DqjLrK/_new 2026-07-28 18:19:35.078044053 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/stp/stp</param> - <param name="changesrevision">2e31fe7f1e6db59f8dce1666ce6d932df7ccf4e9</param></service></servicedata> + <param name="changesrevision">de855f3d02dc7368b0cb0ca4ac0373e3b7f66166</param></service></servicedata> (No newline at EOF) ++++++ build.specials.obscpio ++++++ ++++++ build.specials.obscpio ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/.gitignore new/.gitignore --- old/.gitignore 1970-01-01 01:00:00.000000000 +0100 +++ new/.gitignore 2026-07-28 08:17:55.000000000 +0200 @@ -0,0 +1 @@ +.osc
