Changelog for
minisat-debuginfo-2.2.1+20200902-bp156.4.7.x86_64.rpm :
* Wed Jul 27 2022 Jiri Slaby
- add CMakeLists-use-absolute-libdir-in-rpath-handling.patch (fix rpath (don\'t use relative lib64))
* Wed Nov 04 2020 jslabyAATTsuse.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 jslabyAATTsuse.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 - Add friend-declaration.patch:
* Fix the illegal friend declaration that caused a build failure.
* Fri Feb 17 2017 jslabyAATTsuse.com- make the version the same as for stp, klee and others
* Thu Feb 16 2017 mpluskalAATTsuse.com- Adjust _service
* Thu Feb 16 2017 jengelhAATTinai.de- Trim description- Use version numbers based on those used by upstream
* Thu Oct 15 2015 jslabyAATTsuse.com- add LICENSE and README
* Fri Oct 09 2015 jslabyAATTsuse.com- add Makefile_lib_rule.patch: fix parallel build
* Tue Apr 14 2015 jslabyAATTsuse.com- switch to the git version- update to 20130925
* Thu Mar 19 2015 jslabyAATTsuse.com- initial package
