Hello community,

here is the log from the commit of package stp for openSUSE:Factory checked in 
at 2017-10-19 19:32:28
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/stp (Old)
 and      /work/SRC/openSUSE:Factory/.stp.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Package is "stp"

Thu Oct 19 19:32:28 2017 rev:3 rq:534437 version:2.3.1+20171008

Changes:
--------
--- /work/SRC/openSUSE:Factory/stp/stp.changes  2017-03-20 17:10:02.349834435 
+0100
+++ /work/SRC/openSUSE:Factory/.stp.new/stp.changes     2017-10-19 
19:32:31.675778313 +0200
@@ -1,0 +2,241 @@
+Tue Oct 10 11:31:21 UTC 2017 - jsl...@suse.com
+
+- Update to version 2.3.1+20171008:
+  * Reducing scope of upper&lower
+  * Using $() instead of ``
+  * Removing unused code
+  * Removing unused code
+  * Adding docker file -- not working yet
+  * Fixing install and library location RPATH
+  * Updating README, fixing Docker
+  * Fixing static build
+  * Removed unused global variable
+  * Provide thread-safety (if C++11)
+  * Removing tests are too long and hold up development (>10s runtime each)
+  * Cleaning up lexer
+  * Cleanup of smt2.lex
+  * We can use straight-up "thread_local" here
+  * Trying to fix the thread-local storage for C
+  * Mark two more global variables as thread_local
+  * Updating READMEs
+  * No need for this parameter in AppVeyor
+  * No need for INSTALL, it's been incorporated into the README
+  * Updating README
+  * Fixing indentation and some restructuring of README
+  * Better naming of header
+  * Removing DLL_EXPORT on variables that break the build
+  * Using the ctest framework for testing
+  * Actually checking things in tests, reducing their outputs
+  * Making the interface's (vc) more explicit
+  * Removing trailing space
+  * Tabs to spaces conversion
+  * Trailing spaces removed
+  * Minimal cleanup of the lexer
+  * Fixing std::endl -> endl;
+  * Commenting out unused parameter
+  * Fix indentation
+  * Cleaner lexer
+  * Highlighting where GlobalParserInterface is being used
+  * Fixing the assert
+  * No need to undefine this, it should work without
+  * Some cleanup of bison&flex usage
+  * Fixing moving of header file
+  * No need for linenum
+  * Removing helpstring
+  * Removing unneeded files
+  * Removing one more static variable
+  * Reflowing code as per agreed clang-format
+  * Further cleanup
+  * Removing unused code
+  * Cleanup of tests mostly
+  * Making the visibility=hidden work
+  * Don't care about coveralls fail
+  * Fixing AppVeyor build
+  * Fixing the coverage script
+  * Removing comments from CMakeLists
+  * Fixing ARM compile issue as in new libabc
+  * Adding SUSE build files
+  * Fixing fuzz-testing to use python2
+  * Simplifying the Docker usage
+  * Fixing the Docker example
+- add 0001-CMake-fix-dirs-again.patch
+
+-------------------------------------------------------------------
+Thu Aug 17 12:01:28 UTC 2017 - jsl...@suse.com
+
+- Update to version 2.2+20170815:
+  * Removing broken link
+  * PEP8 + print function in fuzzer
+  * More correct printf
+  * Fixing double-declaration
+  * Fixing memory leak
+  * NULL-ing ptr sent to DELETE is now automatic and more meaningful
+  * Deleting buckets after they have been used
+  * This will fatal error anyway, so just use the pattern and return false
+  * added support for MSVC attributes
+  * disabled crtdbg.h inclusion in extlib-abc for C++ debug builds
+  * fixed unistd.h dependencies for Windows builds
+  * added missing include directive
+  * refactored gettimeofday() for Win32
+  * Adding appveyor file
+  * Adding missing appveyor file
+  * Fixing paths
+  * Adding zlib for minisat to appveyor
+  * Using minisat that's been fixed to build in VS
+  * Better comments in the AppVeyor filBetter comments in the AppVeyor filee
+  * Temporarily disable boost
+  * Install for appveyor minisat
+  * Fixing "libs" to "lib" for minisat
+  * Debugging MiniSat finding in AppVeyor
+  * Debugging Windows build
+  * Debugging Windows build
+  * Debugging Windows build
+  * Installing CygWin
+  * Use 64b CygWin
+  * Trying a different way of installing CygWin
+  * Fixing CygWin
+  * Fixing local package dir
+  * Fixing CygWin site location
+  * Adding CygWin prefix path
+  * Fixing some warnings
+  * Fixing one more signed vs unsigned issue
+  * Suppress warning messages from msbuild
+  * Moving implementation of destructor
+  * No warnings from msbuild
+  * We need ZLIB in STP thanks to MiniSat
+  * Warnings cannot be suppressed in msbuild
+  * Trying to fix Boost in AppVeyor
+  * Removing unused cygwin install command
+  * Fixing yml for AppVeyor
+  * Removing a warning
+  * Fixing signedness and unreachable code warnings
+  * Removing useless comments
+  * Removing dead code
+  * Removing more dead code
+  * Fixing unused parameter warning
+  * Trying to make symbol-hiding work
+  * Trying to remove too much warnings
+  * change semantics of division / remainder by zero
+  * fix bvsmod-by-zero for negative first operand.
+  * Adding constants.h that was missing
+  * Removing unused include
+  * Revert "Removing unused include"
+  * Fix simplifications rules made incorrect by change in semantics of 
division-by-zero.
+  * Work-around another division by zero semantics defect.
+  * documented the entire old C API interface header with doxygen comments
+  * Try to get clang/static build passing on travis ci.
+  * Try to move from precise to trusty on travis ci. Precise ends support soon.
+  * Revert "Try to move from precise to trusty on travis ci. Precise ends 
support soon."
+  * test that static binary is really staitc.
+  * Fix leak introduced in #f452c0e
+  * Trying again to upgrade to trusty.
+  * fixed DLL_PUBLIC-related linkage errors
+  * Trying to fix static clang build
+  * Renaming clang static build
+  * Renaming build type in Travis
+  * Trying to fix shared/static library building
+  * Updating static binary check
+  * moved DLL_PUBLIC definition, added __declspec(dllimport) definition
+  * Trying to fix AppVeyor
+  * Trying to fix Appveyor -- wrong staticcompile check fix
+  * Importing Felix Kutzner's fixes. Thanks a lot!
+  * added declarations for ..._scan_string functions
+  * Fixing boost library include, thanks to Felix Kutzner
+  * Some obvious fix for MSVC compile
+  * enabled shared library building with MSVC
+  * fixed DLL export warning for isatty
+  * no -static for MSVC linker
+  * Testing more of clang
+  * made the Python binding build scripts usable with MSBuild
+  * re-enabled DLL building with MSVC
+  * Adding an empty global to compiler clang
+  * No need for CPP11 build check, Trusty has CPP11 compiler
+  * added DLL_PUBLIC markers to the C interface
+  * Fixing Travis build instructions
+  * made the query-file-tests usable with MSBuild
+  * Fixing the environment for clang builds
+  * Fixing LIT issue
+  * Final fixes to static compilation
+  * added DLL copying for tests
+  * forcing gtest to use the right C/C++ runtime
+  * added python to AppVeyor (for tests)
+  * Just use CryptoMiniSat from GIT, it's more stable for static compilation
+  * Better visibility into executable files generated
+  * deactivated boost in AppVeyor (not supported yet)
+  * adjusted lit tool path
+  * Fixing cryptominisat GIT link
+  * Fixing clang build issue
+  * Adding build SHA1
+  * Don't specify makefile type
+  * Trying to fix KLEE build
+  * Fixing static binary check
+  * Adding clang static build script
+  * Fixing tests for static builds
+  * All builds should run "make check"
+  * Debugging fuzzing
+  * Fixing Windows build
+  * Adding clang build files
+  * Fixing static compilation of tests
+  * Fixing local build scripts
+  * Fixing python test generation
+  * Fixing cryptominisat selection in fuzzer
+  * Debugging fuzzing issue in Travis
+  * Fixing directory of build for static CMS
+  * Building all combinations for gcc&clang
+  * KLEE doesn't want to build, so let's not build it
+  * Don't build COVERAGE using clang, it doesn't work
+  * fixed #253: DLL_IMPORT in c_interfaces leaks API and breaks installation 
of STP
+  * Leave an empty line before "exclude" in TravisCI
+  * Specify OS for Travis
+  * Making python build again both for Windows and Linux
+  * removed unnecesary include of <stdio.h> in c_interface.h and moved it into 
implementation
+  * reverted the python interface build scripts
+  * enabled tests in AppVeyor
+  * added the not tool (test dependency) to AppVeyor
+  * repaired the installed version of library_path.py
+  * removed node typedef in c interface
+  * fixed bug introduced in replacing all the things
++++ 44 more lines (skipped)
++++ between /work/SRC/openSUSE:Factory/stp/stp.changes
++++ and /work/SRC/openSUSE:Factory/.stp.new/stp.changes

Old:
----
  stp-2.2+20161105.tar.xz

New:
----
  0001-CMake-fix-dirs-again.patch
  stp-2.3.1+20171008.tar.xz

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Other differences:
------------------
++++++ stp.spec ++++++
--- /var/tmp/diff_new_pack.vhIVhv/_old  2017-10-19 19:32:32.347746872 +0200
+++ /var/tmp/diff_new_pack.vhIVhv/_new  2017-10-19 19:32:32.347746872 +0200
@@ -33,11 +33,12 @@
 Summary:        Constraint Solver
 License:        MIT
 Group:          Productivity/Scientific/Other
-Version:        2.2+20161105
+Version:        2.3.1+20171008
 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
@@ -88,6 +89,7 @@
 
 %prep
 %setup -q
+%patch0 -p1
 
 %build
 %define __builder ninja

++++++ 0001-CMake-fix-dirs-again.patch ++++++
>From f1dcd662a97ca0fe70bb48c780c1412053d8d7cf Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jsl...@suse.cz>
Date: Tue, 10 Oct 2017 13:50:40 +0200
Subject: [PATCH] CMake: fix dirs again

ffa7994 already did this, but was reverted by mistake in 4fd9b5b.

Signed-off-by: Jiri Slaby <jsl...@suse.cz>
---
 CMakeLists.txt                  | 8 ++++----
 lib/CMakeLists.txt              | 6 +++---
 tools/stp/CMakeLists.txt        | 2 +-
 tools/stp_simple/CMakeLists.txt | 2 +-
 4 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f7ebcc972f..4757f70702 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -33,9 +33,9 @@ endif()
 # Search paths for custom CMake modules
 set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake/modules)
 
-set(LIBDIR lib CACHE STRING "Output directory for libraries")
-set(BINDIR bin CACHE STRING "Output directory for executables")
-set(INCLUDEDIR include CACHE STRING "Output directory for include headers")
+set(CMAKE_INSTALL_LIBDIR lib CACHE STRING "Output directory for libraries")
+set(CMAKE_INSTALL_BINDIR bin CACHE STRING "Output directory for executables")
+set(CMAKE_INSTALL_INCLUDEDIR include CACHE STRING "Output directory for 
include headers")
 set(STP_TIMESTAMPS ON CACHE BOOL "Enable build with timestamps")
 
 # -----------------------------------------------------------------------------
@@ -542,7 +542,7 @@ export(PACKAGE STP)
 if(WIN32 AND NOT CYGWIN)
   set(DEF_INSTALL_CMAKE_DIR CMake)
 else()
-  set(DEF_INSTALL_CMAKE_DIR ${LIBDIR}/cmake/STP)
+  set(DEF_INSTALL_CMAKE_DIR ${CMAKE_INSTALL_LIBDIR}/cmake/STP)
 endif()
 set(STP_INSTALL_CMAKE_DIR ${DEF_INSTALL_CMAKE_DIR} CACHE PATH
   "Installation directory for STP CMake files"
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
index 4353ba14ee..badeba6fb5 100644
--- a/lib/CMakeLists.txt
+++ b/lib/CMakeLists.txt
@@ -136,7 +136,7 @@ target_link_libraries(libstp
 
 install(TARGETS libstp
     EXPORT ${STP_EXPORT_NAME}
-    LIBRARY DESTINATION "${CMAKE_INSTALL_PREFIX}/${LIBDIR}"
-    ARCHIVE DESTINATION "${CMAKE_INSTALL_PREFIX}/${LIBDIR}"
-    PUBLIC_HEADER DESTINATION "${CMAKE_INSTALL_PREFIX}/${INCLUDEDIR}/stp"
+    LIBRARY DESTINATION "${CMAKE_INSTALL_LIBDIR}"
+    ARCHIVE DESTINATION "${CMAKE_INSTALL_LIBDIR}"
+    PUBLIC_HEADER DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}/stp"
 )
diff --git a/tools/stp/CMakeLists.txt b/tools/stp/CMakeLists.txt
index ec6219e046..58d47d06e9 100644
--- a/tools/stp/CMakeLists.txt
+++ b/tools/stp/CMakeLists.txt
@@ -43,6 +43,6 @@ if (Boost_FOUND)
     target_link_libraries(stp libstp)
     install(TARGETS stp
         EXPORT ${STP_EXPORT_NAME}
-        RUNTIME DESTINATION "${BINDIR}"
+        RUNTIME DESTINATION "${CMAKE_INSTALL_BINDIR}"
     )
 endif()
diff --git a/tools/stp_simple/CMakeLists.txt b/tools/stp_simple/CMakeLists.txt
index 33c3ff54ad..a9b1a6d10e 100644
--- a/tools/stp_simple/CMakeLists.txt
+++ b/tools/stp_simple/CMakeLists.txt
@@ -38,5 +38,5 @@ target_link_libraries(stp_simple libstp)
 
 install(TARGETS stp_simple
         EXPORT ${STP_EXPORT_NAME}
-        RUNTIME DESTINATION ${BINDIR}
+        RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}
 )
-- 
2.14.1

++++++ _service ++++++
--- /var/tmp/diff_new_pack.vhIVhv/_old  2017-10-19 19:32:32.387745001 +0200
+++ /var/tmp/diff_new_pack.vhIVhv/_new  2017-10-19 19:32:32.387745001 +0200
@@ -1,14 +1,14 @@
 <services>
-  <service mode="localonly" name="tar_scm">
+  <service mode="disabled" 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>
+    <param name="versionformat">@PARENT_TAG@+%cd</param>
   </service>
-  <service mode="localonly" name="recompress">
+  <service mode="disabled" name="recompress">
     <param name="file">*.tar</param>
     <param name="compression">xz</param>
   </service>
-  <service mode="localonly" name="set_version"/>
+  <service mode="disabled" name="set_version"/>
 </services>

++++++ _servicedata ++++++
--- /var/tmp/diff_new_pack.vhIVhv/_old  2017-10-19 19:32:32.407744065 +0200
+++ /var/tmp/diff_new_pack.vhIVhv/_new  2017-10-19 19:32:32.407744065 +0200
@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
             <param name="url">git://github.com/stp/stp.git</param>
-          <param 
name="changesrevision">39fa956f298b6fd825bc38360a8bbbc4502221e8</param></service></servicedata>
\ No newline at end of file
+          <param 
name="changesrevision">17249213f0d67f09ee3f9f6e6021d75a4cd28ed8</param></service></servicedata>
\ No newline at end of file

++++++ stp-2.2+20161105.tar.xz -> stp-2.3.1+20171008.tar.xz ++++++
++++ 59289 lines of diff (skipped)


Reply via email to