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)