Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2017-03-10 21:46:01 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Fri Mar 10 21:46:01 2017 rev:1 rq:458928 version:2.2+20161105 Changes: -------- New Changes file: --- /dev/null 2017-03-01 00:40:19.279048016 +0100 +++ /work/SRC/openSUSE:Factory/.stp.new/stp.changes 2017-03-10 21:46:01.952774041 +0100 @@ -0,0 +1,99 @@ +------------------------------------------------------------------- +Sat Feb 18 18:19:46 UTC 2017 - [email protected] + +- create libstp2_1 for library as required by policy + +------------------------------------------------------------------- +Sun Nov 20 18:29:42 UTC 2016 - [email protected] + +- require minisat-devel and boost-devel in -devel + +------------------------------------------------------------------- +Fri Nov 18 15:09:25 UTC 2016 - [email protected] + +- package also stp_simple, needed for cmake find_package +- Update to version 2.2+20161105: + * Improve performance by creating fewer strings. + * GitSHA1: really disable timestamp when requested + * ASTNode rvalue reference assignment and copy constructor. + * simplifier: use abort() after assert(false) + * bug fix. + * (1) fix building. (2) make index width / value width out of the base class. Saves 8 bytes in bvconst. + * Might fix the issue described in #235. Missing dependencies. + * oops. fix build. + +------------------------------------------------------------------- +Fri Oct 28 06:59:23 UTC 2016 - [email protected] + +- update to 20161028 +- remove simplifier-use-abort-instead-of-assert-false.patch +- remove GitSHA1-really-disable-timestamp-when-requested.patch + +------------------------------------------------------------------- +Wed Oct 19 06:12:01 UTC 2016 - [email protected] + +- update to 20161005 +- switch to ninja and %cmake macros +- disable timestamps +- add simplifier-use-abort-instead-of-assert-false.patch +- add GitSHA1-really-disable-timestamp-when-requested.patch + +------------------------------------------------------------------- +Fri Nov 27 10:58:16 UTC 2015 - [email protected] + +- update to 20151122 + +------------------------------------------------------------------- +Tue Nov 3 10:40:57 UTC 2015 - [email protected] + +- update to 20151030 +- package AUTHORS and LICENSE + +------------------------------------------------------------------- +Fri Sep 4 08:31:18 UTC 2015 - [email protected] + +- update to 20150904 + * remove: AST-simplify-FatalError-and-mark-as-noreturn.patch + +------------------------------------------------------------------- +Fri Sep 4 08:09:59 UTC 2015 - [email protected] + +- remove: fix-no-return-in-nonvoid.patch +- add: AST-simplify-FatalError-and-mark-as-noreturn.patch + +------------------------------------------------------------------- +Thu Sep 3 17:56:22 UTC 2015 - [email protected] + +- update to 20150828 + * drop one hunk from fix-no-return-in-nonvoid.patch + +------------------------------------------------------------------- +Mon Apr 20 12:14:45 UTC 2015 - [email protected] + +- update to 20150418 + * remove: fix-install-paths.patch + * remove: no-build-timestamps.patch + +------------------------------------------------------------------- +Thu Apr 16 09:09:41 UTC 2015 - [email protected] + +- update to 20150415 + * drop one hunk from fix-no-return-in-nonvoid.patch + +------------------------------------------------------------------- +Thu Oct 30 10:36:12 UTC 2014 - [email protected] + +- add no-build-timestamps.patch + +------------------------------------------------------------------- +Mon Oct 20 13:51:24 UTC 2014 - [email protected] + +- update to 20140928 + * many fixes + * remove-broken-functions.patch: remove, upstream + +------------------------------------------------------------------- +Tue Apr 15 09:49:38 UTC 2014 - [email protected] + +- initial commit + New: ---- _service _servicedata stp-2.2+20161105.tar.xz stp.changes stp.spec ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ # # spec file for package stp # # Copyright (c) 2016 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 # upon. The license for this file, and modifications and additions to the # file, is the same license as for the pristine package itself (unless the # license for the pristine package is not an Open Source License, in which # case the license is the MIT License). An "Open Source License" is a # 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/ # Name: stp BuildRequires: bison BuildRequires: boost-devel BuildRequires: cmake BuildRequires: flex BuildRequires: gcc-c++ BuildRequires: minisat-devel BuildRequires: ninja BuildRequires: python-devel BuildRequires: xz Summary: Constraint Solver License: MIT Group: Productivity/Scientific/Other Version: 2.2+20161105 Release: 0 Url: https://github.com/stp/stp/wiki BuildRoot: %{_tmppath}/%{name}-%{version}-build Source0: %{name}-%{version}.tar.xz %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 and (non-extensional) one-dimensional arrays. The functions in STP's input language include concatenation, extraction, left/right shift, sign-extension, unary minus, addition, multiplication, (signed) modulo/division, bitwise Boolean operations, if-then-else terms, and array reads and writes. The predicates in the language include equality and (signed) comparators between bitvector terms. %package -n libstp2_1 Summary: Constraint Solver Group: System/Libraries %description -n libstp2_1 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 language include concatenation, extraction, left/right shift, sign-extension, unary minus, addition, multiplication, (signed) modulo/division, bitwise Boolean operations, if-then-else terms, and array reads and writes. The predicates in the language include equality and (signed) comparators between bitvector terms. %package devel Summary: Devel files for stp Group: Development/Languages/C and C++ Requires: %{name} = %{version} Requires: boost-devel Requires: libstp2_1 = %{version} Requires: minisat-devel %description devel Developmnet files for stp library. %package python Summary: Python bindings for stp Group: Development/Languages/Python Requires: %{name} = %{version} %description python Python bindings for stp library. %prep %setup -q %build %define __builder ninja %cmake \ -DBUILD_SHARED_LIBS:BOOL="on" \ -DALSO_BUILD_STATIC_LIB:BOOL="off" \ -DSTP_TIMESTAMPS:BOOL="off" %make_jobs %install %cmake_install %__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 %files %defattr(-,root,root) %doc AUTHORS README.markdown LICENSE %{_bindir}/stp* %exclude %{_docdir}/%{name}/example/ %files -n libstp2_1 %{_libdir}/libstp.so.* %files devel %defattr(-,root,root) %dir %{_includedir}/stp/ %{_includedir}/stp/*.h %dir %{_libdir}/cmake/ %{_libdir}/libstp.so %{_libdir}/cmake/STP/ %{_docdir}/%{name}/example/ %files python %defattr(-,root,root) %{python_sitelib}/* %changelog ++++++ _service ++++++ <services> <service mode="localonly" name="tar_scm"> <param name="url">git://github.com/stp/stp.git</param> <param name="scm">git</param> <param name="filename">stp</param> <param name="changesgenerate">enable</param> <param name="versionformat">2.2+%ad</param> </service> <service mode="localonly" name="recompress"> <param name="file">*.tar</param> <param name="compression">xz</param> </service> <service mode="localonly" name="set_version"/> </services> ++++++ _servicedata ++++++ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/stp/stp.git</param> <param name="changesrevision">39fa956f298b6fd825bc38360a8bbbc4502221e8</param></service></servicedata>
