Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2019-02-25 17:59:52 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.28833 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Mon Feb 25 17:59:52 2019 rev:4 rq:678883 version:2.3.2+20190222 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2017-10-19 19:32:31.675778313 +0200 +++ /work/SRC/openSUSE:Factory/.stp.new.28833/stp.changes 2019-02-25 17:59:59.502147933 +0100 @@ -1,0 +2,19 @@ +Sat Feb 23 08:31:26 UTC 2019 - [email protected] + +- Update to version 2.3.2+20190222: + * Don't cache data in case of error + * Reordering riss library, maybe that will fix the issue + * Trying to fix appveyor + * Let's see the output of RISS being built + * No need for rdynamic hackery + * It's best to name the library target "stp" not "libstp" + * Fixing using <packagename>_ROOT variables + * Adding compiler options + * Fixing the mess that staticcompile was causing + * Fixing version-number based issue with the Docker image + * Removing gcc extension of C++, not needed + * Let's fix up Appveyor for static build +- Note that the build is fixed with bison 3.3.2. +- remove 0001-CMake-fix-dirs-again.patch, in upstream now + +------------------------------------------------------------------- Old: ---- 0001-CMake-fix-dirs-again.patch stp-2.3.1+20171008.tar.xz New: ---- stp-2.3.2+20190222.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.vLefCt/_old 2019-02-25 18:00:01.882145931 +0100 +++ /var/tmp/diff_new_pack.vLefCt/_new 2019-02-25 18:00:01.886145928 +0100 @@ -1,7 +1,7 @@ # # spec file for package stp # -# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany. # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -12,10 +12,12 @@ # license that conforms to the Open Source Definition (Version 1.9) # published by the Open Source Initiative. -# Please submit bugfixes or comments via http://bugs.opensuse.org/ +# Please submit bugfixes or comments via https://bugs.opensuse.org/ # +%define sover 2_3 + Name: stp BuildRequires: bison %if 0%{?suse_version} > 1320 @@ -33,12 +35,11 @@ Summary: Constraint Solver License: MIT Group: Productivity/Scientific/Other -Version: 2.3.1+20171008 +Version: 2.3.2+20190222 Release: 0 Url: https://github.com/stp/stp/wiki BuildRoot: %{_tmppath}/%{name}-%{version}-build Source0: %{name}-%{version}.tar.xz -Patch0: 0001-CMake-fix-dirs-again.patch %description STP is an efficient decision procedure for the validity (or satisfiability) of @@ -50,11 +51,11 @@ predicates in the language include equality and (signed) comparators between bitvector terms. -%package -n libstp2_1 +%package -n libstp%{sover} Summary: Constraint Solver Group: System/Libraries -%description -n libstp2_1 +%description -n libstp%{sover} STP is an efficient decision procedure for the validity (or satisfiability) of formulas from a quantifier-free many-sorted theory of fixed-width bitvectors and (non-extensional) one-dimensional arrays. The functions in STP's input @@ -73,7 +74,7 @@ %else Requires: boost-devel %endif -Requires: libstp2_1 = %{version} +Requires: libstp%{sover} = %{version} Requires: minisat-devel %description devel @@ -89,7 +90,6 @@ %prep %setup -q -%patch0 -p1 %build %define __builder ninja @@ -105,16 +105,17 @@ %__install -d %{buildroot}/%{_docdir}/%{name}/example %__install -m 644 -t %{buildroot}/%{_docdir}/%{name}/example examples/simple/* -%post -n libstp2_1 -p /sbin/ldconfig -%postun -n libstp2_1 -p /sbin/ldconfig +%post -n libstp%{sover} -p /sbin/ldconfig +%postun -n libstp%{sover} -p /sbin/ldconfig %files %defattr(-,root,root) -%doc AUTHORS README.markdown LICENSE +%doc AUTHORS README.markdown +%license LICENSE %{_bindir}/stp* %exclude %{_docdir}/%{name}/example/ -%files -n libstp2_1 +%files -n libstp%{sover} %{_libdir}/libstp.so.* %files devel ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.vLefCt/_old 2019-02-25 18:00:01.938145884 +0100 +++ /var/tmp/diff_new_pack.vLefCt/_new 2019-02-25 18:00:01.938145884 +0100 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/stp/stp.git</param> - <param name="changesrevision">17249213f0d67f09ee3f9f6e6021d75a4cd28ed8</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">70a0c488f613ab4664919557638bb170ef6e3be1</param></service></servicedata> \ No newline at end of file ++++++ stp-2.3.1+20171008.tar.xz -> stp-2.3.2+20190222.tar.xz ++++++ ++++ 85789 lines of diff (skipped)
