git: a9ab1125929a - main - math/lean4: Broken on 13

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Mon, 08 Sep 2025 08:43:29 UTC

The branch main has been updated by yuri:

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

commit a9ab1125929addc523e1026aaad7acdbf6e48430
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-09-08 08:42:59 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-09-08 08:43:26 +0000

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

diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index 8ac3190497f2..08ab12311304 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_13=	compilation fails: error: use of undeclared identifier 'clearenv'
 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)