CVS commit: pkgsrc/math/lean4
"Thomas Klausner" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
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.
(unnamed)
(text/x-diff, 699 B)
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++