Revisions of minisat
Dominique Leuenberger (dimstar_suse)
accepted
request 992468
from
Factory Maintainer (factory-maintainer)
(revision 6)
Automatic submission by obs-autosubmit
Richard Brown (RBrownFactory)
accepted
request 991175
from
Jiri Slaby (jirislaby)
(revision 5)
- fix rpath (don't use relative lib64)
Dominique Leuenberger (dimstar_suse)
accepted
request 847751
from
Factory Maintainer (factory-maintainer)
(revision 4)
Automatic submission by obs-autosubmit
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)
Dominique Leuenberger (dimstar_suse)
accepted
request 719993
from
Jiri Slaby (jirislaby)
(revision 2)
Dominique Leuenberger (dimstar_suse)
accepted
request 458670
from
Jiri Slaby (jirislaby)
(revision 1)
minisat is needed for stp and klee.
Displaying all 6 revisions
