CVS commit: pkgsrc/math/lean4

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Fri Jul 24 18:41:55 UTC 2026

Modified Files:
        pkgsrc/math/lean4: Makefile

Log Message:
lean4: make leantar a full dependency

ride import


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/lean4/Makefile

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

Modified files:

Index: pkgsrc/math/lean4/Makefile
diff -u pkgsrc/math/lean4/Makefile:1.1 pkgsrc/math/lean4/Makefile:1.2
--- pkgsrc/math/lean4/Makefile:1.1      Fri Jul 24 18:39:19 2026
+++ pkgsrc/math/lean4/Makefile  Fri Jul 24 18:41:55 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.1 2026/07/24 18:39:19 wiz Exp $
+# $NetBSD: Makefile,v 1.2 2026/07/24 18:41:55 wiz Exp $
 
 DISTNAME=      lean4-4.32.1
 CATEGORIES=    math
@@ -11,7 +11,7 @@ HOMEPAGE=     https://lean-lang.org/
 COMMENT=       Programming language for theorem proving
 LICENSE=       apache-2.0
 
-TOOL_DEPENDS+= leantar-[0-9]*:../../math/leantar
+_DEPENDS+=     leantar-[0-9]*:../../math/leantar
 DEPENDS+=      cadical>=3:../../math/cadical3
 
 USE_LANGUAGES= c c++