lean4: avoid conflict with leantar

[Thomas Klausner (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Thomas Klausner <wiz%NetBSD.org@localhost>
Pushed By:	wiz
Date:		Fri Jul 24 13:20:52 2026 +0200
Changeset:	491fb347efc9860fbabdd04ed650f267e0ca73be

Modified Files:
	lean4/Makefile
	lean4/PLIST

Log Message:
lean4: avoid conflict with leantar

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=491fb347efc9860fbabdd04ed650f267e0ca73be

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 lean4/Makefile | 1 +
 lean4/PLIST    | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diffs:
diff --git a/lean4/Makefile b/lean4/Makefile
index 3a1016ee6c..118f5d2ae0 100644
--- a/lean4/Makefile
+++ b/lean4/Makefile
@@ -40,6 +40,7 @@ CMAKE_GENERATORS_INCOMPATIBLE=	ninja
 
 post-install:
 	${RM} ${DESTDIR}${PREFIX}/bin/cadical
+	${RM} ${DESTDIR}${PREFIX}/bin/leantar
 	${MV} ${DESTDIR}${PREFIX}/LICENSE* ${DESTDIR}${PREFIX}/share/lean4
 
 .include "../../devel/cmake/build.mk"
diff --git a/lean4/PLIST b/lean4/PLIST
index 430a562272..1c894d26ce 100644
--- a/lean4/PLIST
+++ b/lean4/PLIST
@@ -5,7 +5,6 @@ bin/leanc
 bin/leanchecker
 bin/leanir
 bin/leanmake
-bin/leantar
 include/lean/config.h
 include/lean/lean.h
 include/lean/lean_gmp.h