mirror of
https://github.com/openbsd/ports.git
synced 2026-06-18 07:24:23 +02:00
rsadowski
e8035d4760
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@
29 lines
510 B
Makefile
29 lines
510 B
Makefile
COMMENT= minimalistic Boolean satisfiability solver
|
|
|
|
DISTNAME= minisat-2.2.0.20170810
|
|
GH_ACCOUNT= niklasso
|
|
GH_PROJECT= minisat
|
|
GH_COMMIT= 37dc6c67e2af26379d88ce349eb9c4c6160e8543
|
|
REVISION= 1
|
|
|
|
SHARED_LIBS += minisat 0.0 # 2.1
|
|
|
|
CATEGORIES= math
|
|
|
|
HOMEPAGE= http://minisat.se/
|
|
|
|
# MIT
|
|
PERMIT_PACKAGE= Yes
|
|
|
|
WANTLIB += c m ${COMPILER_LIBCXX} z
|
|
|
|
COMPILER = base-clang ports-gcc base-gcc
|
|
|
|
MODULES= devel/cmake
|
|
|
|
MODCMAKE_POLICY_VERSION_OVERRIDE = Yes
|
|
|
|
NO_TEST= Yes
|
|
|
|
.include <bsd.port.mk>
|