File minisat.changes of Package minisat

Overview Repositories Revisions Requests Users Attributes Meta

File minisat.changes of Package minisat (Revision d519a0129a9398b4d0086f7c8ff5e5b0)

Currently displaying revision d519a0129a9398b4d0086f7c8ff5e5b0 , Show latest

-------------------------------------------------------------------
Tue Jul 26 04:31:49 UTC 2022 - Jiri Slaby <jslaby@suse.cz>

- fix rpath (don't use relative lib64)

-------------------------------------------------------------------
Wed Nov 04 09:03:48 UTC 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 08:39:23 UTC 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 01:10:45 UTC 2019 - Simon Puchert <simonpuchert@alice.de>

- Add friend-declaration.patch:
  * Fix the illegal friend declaration that caused a build failure.

-------------------------------------------------------------------
Fri Feb 17 11:47:53 UTC 2017 - jslaby@suse.com

- make the version the same as for stp, klee and others

-------------------------------------------------------------------
Thu Feb 16 12:58:57 UTC 2017 - mpluskal@suse.com

- Adjust _service

-------------------------------------------------------------------
Thu Feb 16 08:52:46 UTC 2017 - jengelh@inai.de

- Trim description
- Use version numbers based on those used by upstream

-------------------------------------------------------------------
Thu Oct 15 10:00:40 UTC 2015 - jslaby@suse.com

- add LICENSE and README

-------------------------------------------------------------------
Fri Oct  9 12:19:51 UTC 2015 - jslaby@suse.com

- add Makefile_lib_rule.patch: fix parallel build

-------------------------------------------------------------------
Tue Apr 14 12:30:42 UTC 2015 - jslaby@suse.com

- switch to the git version
- update to 20130925

-------------------------------------------------------------------
Thu Mar 19 15:33:00 UTC 2015 - jslaby@suse.com

- initial package

Places

File minisat.changes of Package minisat (Revision d519a0129a9398b4d0086f7c8ff5e5b0)

Places