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: Sat Jul 25 09:57:45 UTC 2026 Modified Files: pkgsrc/math/lean4: Makefile Log Message: lean4: fix typo To generate a diff of this commit: cvs rdiff -u -r1.5 -r1.6 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, 871 B)
Modified files:
Index: pkgsrc/math/lean4/Makefile
diff -u pkgsrc/math/lean4/Makefile:1.5 pkgsrc/math/lean4/Makefile:1.6
--- pkgsrc/math/lean4/Makefile:1.5 Sat Jul 25 09:40:53 2026
+++ pkgsrc/math/lean4/Makefile Sat Jul 25 09:57:45 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.5 2026/07/25 09:40:53 wiz Exp $
+# $NetBSD: Makefile,v 1.6 2026/07/25 09:57:45 wiz Exp $
DISTNAME= lean4-4.32.1
PKGREVISION= 1
@@ -30,7 +30,7 @@ CMAKE_CONFIGURE_ARGS+= -DUSE_MIMALLOC=no
# stage0/stage1 options need to be passed explicitly
CMAKE_CONFIGURE_ARGS+= -DSTAGE0_CMAKE_PREFIX_PATH=${BUILDLINK_DIR}
CMAKE_CONFIGURE_ARGS+= -DSTAGE1_CMAKE_INSTALL_PREFIX=${PREFIX}
-# not install these binaries, they are dependencies
+# don't install these binaries, they are dependencies
CMAKE_CONFIGURE_ARGS+= -DSTAGE1_INSTALL_CADICAL=OFF
CMAKE_CONFIGURE_ARGS+= -DSTAGE1_INSTALL_LEANTAR=OFF