minisat-2.2.1+20200902-bp154.1.51

- 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)

- 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)

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

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

- Adjust _service

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

- add LICENSE and README

- add Makefile_lib_rule.patch: fix parallel build

- switch to the git version
- update to 20130925

- initial package