[Bug 295703] math/lean4: fix build on FreeBSD 14.x (failure of ar)

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=295703

            Bug ID: 295703
           Summary: math/lean4: fix build on FreeBSD 14.x (failure of ar)
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: yuri@freebsd.org
          Reporter: milios@ccsys.com
          Assignee: yuri@freebsd.org
             Flags: maintainer-feedback?(yuri@freebsd.org)

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)

-- 
You are receiving this mail because:
You are the assignee for the bug.