Hello community,
here is the log from the commit of package stp for openSUSE:Factory checked in
at 2020-02-06 13:09:33
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/stp (Old)
and /work/SRC/openSUSE:Factory/.stp.new.26092 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp"
Thu Feb 6 13:09:33 2020 rev:7 rq:770494 version:2.3.3+20200113
Changes:
--------
--- /work/SRC/openSUSE:Factory/stp/stp.changes 2020-01-09 22:53:35.770799412
+0100
+++ /work/SRC/openSUSE:Factory/.stp.new.26092/stp.changes 2020-02-06
13:09:44.880385856 +0100
@@ -1,0 +2,12 @@
+Thu Jan 30 09:45:21 UTC 2020 - jsl...@suse.com
+
+- Update to version 2.3.3+20200113:
+ * Fixing tests so build doesn't break
+ * Removing slow running tests
+ * Better support for python in build
+ * less bad model printing for arrays.
+ * Change reference to Minisat repo
+ * extra little one.
+ * Removing tests that take 1 minute to execute
+
+-------------------------------------------------------------------
Old:
----
stp-2.3.3+20190713.tar.xz
New:
----
stp-2.3.3+20200113.tar.xz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ stp.spec ++++++
--- /var/tmp/diff_new_pack.IJcqEw/_old 2020-02-06 13:09:46.464386718 +0100
+++ /var/tmp/diff_new_pack.IJcqEw/_new 2020-02-06 13:09:46.464386718 +0100
@@ -18,7 +18,7 @@
%define sover 2_3
Name: stp
-Version: 2.3.3+20190713
+Version: 2.3.3+20200113
Release: 0
Summary: Constraint Solver
License: MIT
@@ -80,13 +80,11 @@
Python bindings for stp library.
%prep
-%setup -q
-%patch0 -p1
+%autosetup -p1
%build
%define __builder ninja
%cmake \
- -DBUILD_SHARED_LIBS:BOOL="on" \
-DALSO_BUILD_STATIC_LIB:BOOL="off" \
-DSTP_TIMESTAMPS:BOOL="off"
%cmake_build
++++++ _servicedata ++++++
--- /var/tmp/diff_new_pack.IJcqEw/_old 2020-02-06 13:09:46.500386737 +0100
+++ /var/tmp/diff_new_pack.IJcqEw/_new 2020-02-06 13:09:46.500386737 +0100
@@ -1,4 +1,4 @@
<servicedata>
<service name="tar_scm">
<param name="url">git://github.com/stp/stp.git</param>
- <param
name="changesrevision">3b176815f369bc5a5b6fa35a2e29340dc6b919f0</param></service></servicedata>
\ No newline at end of file
+ <param
name="changesrevision">bf58ce9c1e5c2c36d57aedf238cdf8a071cd0d35</param></service></servicedata>
\ No newline at end of file
++++++ py3.patch ++++++
--- /var/tmp/diff_new_pack.IJcqEw/_old 2020-02-06 13:09:46.508386741 +0100
+++ /var/tmp/diff_new_pack.IJcqEw/_new 2020-02-06 13:09:46.508386741 +0100
@@ -1,26 +1,4 @@
-Index: stp-2.3.3+20190713/CMakeLists.txt
-===================================================================
---- stp-2.3.3+20190713.orig/CMakeLists.txt
-+++ stp-2.3.3+20190713/CMakeLists.txt
-@@ -607,15 +607,11 @@ option(ENABLE_TESTING "Enable testing" O
- # try finding python if the user did not explicitly said that
- # he/she does not want python bindings
- if ((NOT DEFINED ENABLE_PYTHON_INTERFACE) OR ENABLE_PYTHON_INTERFACE)
-- find_package (PythonInterp 2.7)
-- find_package (PythonLibs 2.7)
-- if (PYTHON_EXECUTABLE AND PYTHON_LIBRARY AND PYTHON_INCLUDE_DIR)
-+ find_package (PythonInterp)
-+ if (PYTHON_EXECUTABLE)
- message(STATUS "PYTHON_EXECUTABLE:FILEPATH=${PYTHON_EXECUTABLE}")
-- message(STATUS "PYTHON_LIBRARY:FILEPATH=${PYTHON_LIBRARY}")
-- message(STATUS "PYTHON_INCLUDE_DIR:FILEPATH=${PYTHON_INCLUDE_DIR}")
-- message(STATUS
"PYTHONLIBS_VERSION_STRING=${PYTHONLIBS_VERSION_STRING}")
- set(PYTHON_OK ON)
-- message(STATUS "OK, found python interpreter, libs and header files")
-+ message(STATUS "OK, found python interpreter")
- else()
- message(WARNING "Cannot find python interpreter, libs and header
files, cannot build python interface")
- endif()
+From: Ondřej Súkup <mimi...@gmail.com>
Index: stp-2.3.3+20190713/bindings/python/stp/library_path.py.in_install
===================================================================
--- stp-2.3.3+20190713.orig/bindings/python/stp/library_path.py.in_install
++++++ stp-2.3.3+20190713.tar.xz -> stp-2.3.3+20200113.tar.xz ++++++
++++ 6077 lines of diff (skipped)
