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

math/lean4: Broken on armv7 

Reported by:	fallout
main
Yuri Victorovich 2024-05-06 01:43:50 -07:00
parent 594f2ade67
commit 39cc19929d
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

@ -10,6 +10,7 @@ WWW= https://lean-lang.org/
LICENSE= APACHE20
LICENSE_FILE= ${WRKSRC}/LICENSE
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)
BUILD_DEPENDS= bash:shells/bash