The failure started to appear recently, after LLVM 15 upgrade. The full build log is here https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pb4e310378258_s3a3450eda6/logs/z3-4.12.1.log
Bumped into the same issue while poking on lang/ghc. This time it is FreeBSD 12.4/i386
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=7978785066d27708415f5955d563b95ceb523088 commit 7978785066d27708415f5955d563b95ceb523088 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2024-01-03 20:00:33 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2024-01-03 20:00:58 +0000 math/z3: Unbreak on i386 PR: 269570 math/z3/Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-)