Package Release Info

minisat-2.2.1+20200902-bp155.3.12

Update Info: Base Release
Available in Package Hub : 15 SP5

platforms

AArch64
ppc64le
s390x
x86-64

subpackages

libminisat2
minisat
minisat-devel

Change Logs

* Wed Jul 27 2022 Jiri Slaby <jslaby@suse.cz>
- add CMakeLists-use-absolute-libdir-in-rpath-handling.patch
  (fix rpath (don't use relative lib64))
Version: 2.2.1+20200902-bp154.1.51
* Wed Nov 04 2020 jslaby@suse.cz
- Update to version 2.2.1+20200902:
  * Fixing exported definitions
  * Adding uninstall capability
  * Revert "CMakeLists: support different lib dirs"
  * Removing second STATICCOMPILE
  * CMakeLists: support different lib dirs
  * Updating to fix build
  * Export minisat project for other cmake builds
  * Fixing static vs. dynamic compile
  * Quell some clang warnings
- switch to obs_scm
- drop 0001-CMakeLists-make-static-lib-optional.patch (in upstream)
* Mon Nov 04 2019 jslaby@suse.com
- Update to version 2.2.1+20180702:
  * Fix linking of minisat as dependency library on MacOSX
  * fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
  * Specify default argument in the declaration not the friend declaration
  * Fix declaration of Minisat::memUsedPeak for non-Linux systems
  * Remove illegal (and not neccesary) friend definition to fix compilation under clang.
  * Fixing problems with compilation with C++11 compilers
- switch to cmake
  * add 0001-CMakeLists-support-different-lib-dirs.patch
  * add 0001-CMakeLists-make-static-lib-optional.patch
- remove friend-declaration.patch (in upstream now)
- remove Makefile_lib_rule.patch (not needed -- cmake)
* Mon Jul 29 2019 Simon Puchert <simonpuchert@alice.de>
- Add friend-declaration.patch:
  * Fix the illegal friend declaration that caused a build failure.
Version: 2.2.0+20130925-bp150.2.4
* Fri Feb 17 2017 jslaby@suse.com
- make the version the same as for stp, klee and others
* Thu Feb 16 2017 mpluskal@suse.com
- Adjust _service
* Thu Feb 16 2017 jengelh@inai.de
- Trim description
- Use version numbers based on those used by upstream
* Thu Oct 15 2015 jslaby@suse.com
- add LICENSE and README
* Fri Oct 09 2015 jslaby@suse.com
- add Makefile_lib_rule.patch: fix parallel build
* Tue Apr 14 2015 jslaby@suse.com
- switch to the git version
- update to 20130925
* Thu Mar 19 2015 jslaby@suse.com
- initial package