IABSD.fr/ports/math/minisat
Branch :
Log
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
 |
d7d6ed13 | 2017-08-20 16:39:44 | Update to latest git master. Built with cmake, installs minisat libraries (needed for a devel/stp update). Discussed with jasper@ at t2k17. | |
 |
5e964ab0 | 2017-07-26 22:45:14 | bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports. | |
 |
c114d705 | 2017-07-23 09:26:25 | add pthread to COMPILER_LIBCXX. white lie, but it allows clang and gcc to be more similar bump accordingly. | |
|
8ac47fd9 | 2017-07-16 19:18:47 | use COMPILER_LIBCXX where applicable | |
|
63166827 | 2017-05-19 23:20:59 | fix friend | |
|
bcbf44ab | 2017-04-10 11:46:18 | use LIBCXX | |
|
c2f5aec4 | 2017-02-27 19:48:41 | Respect CXX | |
 |
570aa62a | 2015-01-18 03:12:39 | Drop remaining MD5/RMD160/SHA1 checksums. | |
|
0662a4e9 | 2013-03-11 11:20:26 | PERMIT_* / REGRESS->TEST sweep | |
|
c374fd92 | 2011-11-02 19:18:35 | cope with upstream's rerolled distfile and ps.gz -> pdf From Antti Harri, ok jasper@ |