IABSD.fr/ports/math/minisat
Branch :
Log
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
 |
e8035d47 | 2026-02-13 12:02:13 | Update CMake to 4.1.2 Major update from 3.31.8 to 4.1.2. CMake 4.0 introduces a breaking change: compatibility with versions older than 3.5 has been removed. Projects calling cmake_minimum_required() or cmake_policy() with versions < 3.5 now error out. To maintain compatibility with existing ports during the transition, the cmake module now provides MODCMAKE_POLICY_VERSION_OVERRIDE (idea from sthen@) support: - MODCMAKE_POLICY_VERSION_OVERRIDE ?= No - MODCMAKE_POLICY_VERSION_OVERRIDE_VER ?= 3.5 When MODCMAKE_POLICY_VERSION_OVERRIDE is set to "yes", CMake is instructed to accept policy versions down to the specified minimum (default 3.5) via -DCMAKE_POLICY_VERSION_MINIMUM. This allows older ports to build while acknowledging they may use deprecated features. https://cmake.org/cmake/help/latest/release/4.0.html https://cmake.org/cmake/help/latest/release/4.1.html OK sthen@ | |
 |
ab45f39a | 2022-03-11 19:36:11 | drop RCS Ids | |
 |
c50883a0 | 2019-11-03 14:07:41 | drop maintainership for a bunch of ports i haven't used in years | |
 |
3318ced0 | 2019-07-12 20:46:54 | replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes | |
|
25f0e460 | 2018-10-24 14:27:57 | Add COMPILER lines to c++ ports which currently use the default. Adjust some existing COMPILER lines with arch restrictions etc. In the usual case this is now using "COMPILER = base-clang ports-gcc base-gcc" on ports with c++ libraries in WANTLIB. This is basically intended to be a noop on architectures using clang as the system compiler, but help with other architectures where we currently have many ports knocked out due to building with an unsuitable compiler - - some ports require c++11/newer so the GCC version in base that is used on these archirtectures is too old. - some ports have conflicts where an executable is built with one compiler (e.g. gcc from base) but a library dependency is built with a different one (e.g. gcc from ports), resulted in mixing incompatible libraries in the same address space. devel/gmp is intentionally skipped as it's on the path to building gcc - the c++ library there is unused in ports (and not built by default upstream) so intending to disable building gmpcxx in a future commit. | |
 |
4c21bc5c | 2018-04-11 14:36:14 | math/minisat: Fix for clang 6. OK sthen@, thanks. | |
 |
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 |