minisat
No description set
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
1
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory:RISCV/minisat && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| 0001-CMakeLists-make-static-lib-optional.patch | 0000002844 2.78 KB | |
| 0001-CMakeLists-support-different-lib-dirs.patch | 0000001259 1.23 KB | |
| _service | 0000000629 629 Bytes | |
| _servicedata | 0000000230 230 Bytes | |
| minisat-2.2.1+20180702.tar.xz | 0000041592 40.6 KB | |
| minisat.changes | 0000002215 2.16 KB | |
| minisat.spec | 0000002814 2.75 KB |
Revision 3 (latest revision is 6)
Dominique Leuenberger (dimstar_suse)
accepted
request 745123
from
Jiri Slaby (jirislaby)
(revision 3)
- Update to version 2.2.1+20180702: * 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)
Comments 0