pool/minisat
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity
22 Commits 3 Branches 0 Tags
factory
Commit Graph

22 Commits

This Branch
This Branch
All Branches
Author SHA256 Message Date
Ana Guerrero
2c506c0483 Accepting request 1270182 from devel:tools:statica 
- Update to version 2.2.1+20230206:
  * utils/System.*: use fpu_control only on glibc
- use -DCMAKE_POLICY_VERSION_MINIMUM=3.10 to support cmake 4
- use %cmake_build

OBS-URL: https://build.opensuse.org/request/show/1270182
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=7
 2025-04-17 14:09:29 +00:00
Dominique Leuenberger
6a7564b8c8 Accepting request 992468 from devel:tools:statica 
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/992468
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=6
 2022-08-03 19:16:53 +00:00
Jiri Slaby
b008204bcd rpath fix 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=20
 2022-07-27 07:30:48 +00:00
Richard Brown
f5db0ab001 Accepting request 991175 from devel:tools:statica 
- fix rpath (don't use relative lib64)

OBS-URL: https://build.opensuse.org/request/show/991175
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=5
 2022-07-26 17:45:23 +00:00
Jiri Slaby
55081065e2 fix rpath 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=18
 2022-07-26 04:32:39 +00:00
Jiri Slaby
d254546bea fix _service URL 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=17
 2022-03-16 10:16:04 +00:00
Dominique Leuenberger
8028baecd1 Accepting request 847751 from devel:tools:statica 
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/847751
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=4
 2020-11-11 19:48:05 +00:00
Jiri Slaby
f1d22228a0 up to 2.2.1+20200902 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=15
 2020-11-04 09:19:55 +00:00
Jiri Slaby
ed01017865 up to 2.2.1+20200902 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=14
 2020-11-04 09:19:04 +00:00
Dominique Leuenberger
8079156fa9 Accepting request 745123 from devel:tools:statica 
- 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)

OBS-URL: https://build.opensuse.org/request/show/745123
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=3
 2019-11-04 16:16:18 +00:00
Jiri Slaby
0449745d0a up to 2.2.1+20180702 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=12
 2019-11-04 09:24:21 +00:00
Dominique Leuenberger
1d8897c66a Accepting request 719993 from devel:tools:statica 
OBS-URL: https://build.opensuse.org/request/show/719993
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=2
 2019-07-31 12:36:23 +00:00
Jiri Slaby
35dca4288f Accepting request 719449 from home:simonpuchert:branches:devel:tools:statica 
Add friend-declaration.patch:
* Fix the illegal friend declaration that caused a build failure.

OBS-URL: https://build.opensuse.org/request/show/719449
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=10
 2019-07-31 07:45:10 +00:00
Dominique Leuenberger
e0e8d6b86f Accepting request 458670 from devel:tools:statica 
minisat is needed for stp and klee.

OBS-URL: https://build.opensuse.org/request/show/458670
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/minisat?expand=0&rev=1
 2017-03-10 20:45:57 +00:00
Jiri Slaby
4bb0fbe5a6 versioning fix 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=8
 2017-02-17 11:49:12 +00:00
Martin Pluskal
43fb94a883 - Adjust _service 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=7
 2017-02-16 13:00:35 +00:00
Martin Pluskal
9bc20132ee - Adjust _service and add _servicedata 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=6
 2017-02-16 12:59:39 +00:00
Martin Pluskal
dfc20371df Accepting request 457626 from home:jengelh:branches:devel:tools:statica 
- Trim description
- Use version numbers based on those used by upstream

OBS-URL: https://build.opensuse.org/request/show/457626
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=5
 2017-02-16 12:57:25 +00:00
Jiri Slaby
eb154876e8 LICENSE README 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=4
 2015-10-15 10:00:53 +00:00
Jiri Slaby
09c8685551 OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=3 2015-10-11 09:08:06 +00:00
Jiri Slaby
f608746f59 fix build 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=2
 2015-10-09 12:21:44 +00:00
Jiri Slaby
e7e97312f0 Accepting request 337407 from home:jirislaby:statica 
OBS-URL: https://build.opensuse.org/request/show/337407
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=1
 2015-10-09 09:58:31 +00:00