git: abf08b8dfea7 - main - math/lean4: broken on 14

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Mon, 14 Sep 2026 18:52:08 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=abf08b8dfea7c09940e4654ad3e2d58890fb17e3

commit abf08b8dfea7c09940e4654ad3e2d58890fb17e3
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-09-14 01:21:32 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-09-14 18:52:03 +0000

    math/lean4: broken on 14
    
    Reported by:    fallout
---
 math/lean4/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index ea8cdf9106b7..e557cdd21938 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -11,6 +11,7 @@ WWW=		https://lean-lang.org/ \
 LICENSE=	APACHE20
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
+BROKEN_FreeBSD_14=	compilation fails: .rsp files are not supprted by ar on 14: ar there is from Elftoolchain project which was later replaced by LLVM ar, which supports .rsp files
 BROKEN_armv7=	compilation fails: ../../.build/stage1/lib/temp/Init/Coe.depend: No such file or directory
 BROKEN_i386=	linking fails: INTERNAL PANIC: out of memory (during: Linking runLinter)