Date: Sat, 30 May 2026 02:32:53 +0000 From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 0690cc2869fa - main - math/lean4: Fix build on 14 Message-ID: <6a1a4c55.31561.22737c3d@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=0690cc2869fa56ae49b22a5020807459f959bc11 commit 0690cc2869fa56ae49b22a5020807459f959bc11 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2026-05-30 02:04:32 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2026-05-30 02:32:42 +0000 math/lean4: Fix build on 14 PR: 295703 Reported by: Chad Jacob Milios <milios@ccsys.com> --- math/lean4/Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 00c3f8c0aef1..ad566960e9f2 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -37,12 +37,18 @@ CMAKE_OFF= USE_MIMALLOC \ #MAKE_ARGS+= V=1 VERBOSE=1 MAKE_ENV= LD_LIBRARY_PATH=${BUILD_WRKSRC}/stage0/lib/lean -BINARY_ALIAS= make=${GMAKE} python=${PYTHON_CMD} +BINARY_ALIAS= make=${GMAKE} \ + python=${PYTHON_CMD} .include <bsd.port.pre.mk> CMAKE_ARGS+= -DLEANTAR=${LOCALBASE}/bin/leantar +# fails to build on 14 w/out this: +.if ${OSREL:R} <= 14 +BINARY_ALIAS+= ar=llvm-ar +.endif + pre-everything:: @${ECHO_MSG} "" @${ECHO_MSG} "Please note that build Lean requires /proc to be mounted."home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a1a4c55.31561.22737c3d>