git: f4b31ca20ad0 - main - math/lean4: remove compatibility code for FreeBSD 13
Rene Ladan <[email protected]>
| Newsgroups | gmane.os.freebsd.devel.cvs.ports |
|---|---|
| Message-ID | <[email protected]> |
The branch main has been updated by rene: URL: https://cgit.FreeBSD.org/ports/commit/?id=f4b31ca20ad04c7be48738ef09cac90684aac35e commit f4b31ca20ad04c7be48738ef09cac90684aac35e Author: Rene Ladan <[email protected]> AuthorDate: 2026-07-31 21:06:13 +0000 Commit: Rene Ladan <[email protected]> CommitDate: 2026-07-31 21:06:34 +0000 math/lean4: remove compatibility code for FreeBSD 13 --- math/lean4/Makefile | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 3402b4d2f4a8..3d910dcc99ed 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -43,8 +43,6 @@ BINARY_ALIAS= make=${GMAKE} \ python=${PYTHON_CMD} \ sed=${LOCALBASE}/bin/gsed -.include <bsd.port.pre.mk> - CMAKE_ARGS+= -DLEANTAR=${LOCALBASE}/bin/leantar post-configure: @@ -53,11 +51,6 @@ post-configure: @${CP} ${LOCALBASE}/bin/leantar ${BUILD_WRKSRC}/stage0/bin/ @${CP} ${LOCALBASE}/bin/leantar ${BUILD_WRKSRC}/stage1/bin/ -# 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." @@ -112,4 +105,4 @@ post-install: # tests as of 4.31.0: 99% tests passed, 2 tests failed out of 3858 # 2 failures are not port issues: cache/test.sh, ltar/test.sh: leantar panic (math/leangz bug, see reproducer-leangz/) -.include <bsd.port.post.mk> +.include <bsd.port.mk>