FreeBSD/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2026-06-02 11:08:52 +00:00
Code Issues Projects Releases Wiki Activity

math/lean4: Fix build on 14

Browse Source 
PR:		295703
Reported by:	Chad Jacob Milios <milios@ccsys.com>
This commit is contained in:
Yuri Victorovich
2026-05-29 19:04:32 -07:00
parent 9be499db39
commit 0690cc2869
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/lean4/Makefile
+7 -1
View File
@@ -37,12 +37,18 @@ CMAKE_OFF= USE_MIMALLOC \
#MAKE_ARGS+= V=1 VERBOSE=1
MAKE_ENV= LD_LIBRARY_PATH=${BUILD_WRKSRC}/stage0/lib/lean
BINARY_ALIAS= make=${GMAKE} python=${PYTHON_CMD}
BINARY_ALIAS= make=${GMAKE} \
python=${PYTHON_CMD}
.include <bsd.port.pre.mk>
CMAKE_ARGS+= -DLEANTAR=${LOCALBASE}/bin/leantar
# fails to build on 14 w/out this:
.if ${OSREL:R} <= 14
BINARY_ALIAS+= ar=llvm-ar
.endif
pre-everything::
@${ECHO_MSG} ""
@${ECHO_MSG} "Please note that build Lean requires /proc to be mounted."