qiurui
/
freebsd-ports
mirror of https://git.FreeBSD.org/ports.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

math/lean4: Broken on 13 

Reported by:	fallout
This commit is contained in:
Yuri Victorovich 2025-09-08 01:42:59 -07:00
parent 827d17fafe
commit a9ab112592
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
math/lean4/Makefile
View File

@ -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)