sorry i didnt log the error (some failure of `ar`) and i'm not entirely certain why but using FreeBSD 14.4-RELEASE-p5/amd64 i was unable to build lean4-4.30.0_1 successfully until adding BINARY_ALIAS+= ar=llvm-ar (this resolves to /usr/bin/llvm-ar so no need to add a build dependency on ports llvm) probably some limited range of OSVERSION for which to apply this; im not sure if llvm-xyz even still exists where GNU/GPL xyz has been removed after MIT/BSD xyz has been blessed (havent taken the plunge to 15.x+ here yet)
(In reply to Chad Jacob Milios from comment #0) Thanks for your report! I also noticed before on some other ports that ar is somehow different on 14. I will commit the fix shortly. Yuri
A commit in branch main references this bug: 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(-)