mirror of
https://github.com/openbsd/ports.git
synced 2026-06-17 23:13:55 +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@
43 lines
838 B
Makefile
43 lines
838 B
Makefile
COMMENT = interactive and automated theorem prover
|
|
|
|
GH_ACCOUNT = leanprover-community
|
|
GH_PROJECT = lean
|
|
GH_TAGNAME = v3.48.0
|
|
REVISION = 2
|
|
|
|
CATEGORIES = math lang
|
|
|
|
HOMEPAGE = https://leanprover-community.github.io
|
|
|
|
MAINTAINER = Theo Buehler <tb@openbsd.org>
|
|
|
|
# Apache 2.0
|
|
PERMIT_PACKAGE = Yes
|
|
|
|
WANTLIB = c gmp m pthread ${COMPILER_LIBCXX}
|
|
LIB_DEPENDS = devel/gmp,-main
|
|
|
|
SUBST_VARS += CXXFLAGS
|
|
post-patch:
|
|
${SUBST_CMD} ${WRKSRC}/util/lean_path.cpp ${WRKSRC}/CMakeLists.txt
|
|
|
|
# C++11
|
|
COMPILER = base-clang ports-gcc
|
|
|
|
WRKSRC = ${WRKDIST}/src
|
|
|
|
MODULES += devel/cmake
|
|
MODULES += lang/python
|
|
|
|
MODCMAKE_POLICY_VERSION_OVERRIDE = Yes
|
|
|
|
MODPY_RUNDEP = No
|
|
|
|
MAKE_ENV += "LEAN_PATH=${WRKDIST}/bin:${WRKDIST}/library:${WRKDIST}/leanpkg"
|
|
|
|
TEST_DEPENDS = ${MODPY_RUN_DEPENDS} \
|
|
shells/bash \
|
|
textproc/gdiff
|
|
|
|
.include <bsd.port.mk>
|