CVS commit: pkgsrc/math

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Fri Jul 24 18:39:46 UTC 2026

Modified Files:
        pkgsrc/math: Makefile

Log Message:
math/Makefile: + lean4


To generate a diff of this commit:
cvs rdiff -u -r1.643 -r1.644 pkgsrc/math/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/Makefile
diff -u pkgsrc/math/Makefile:1.643 pkgsrc/math/Makefile:1.644
--- pkgsrc/math/Makefile:1.643  Fri Jul 24 18:38:18 2026
+++ pkgsrc/math/Makefile        Fri Jul 24 18:39:46 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.643 2026/07/24 18:38:18 wiz Exp $
+# $NetBSD: Makefile,v 1.644 2026/07/24 18:39:46 wiz Exp $
 
 COMMENT=       Mathematics
 
@@ -286,6 +286,7 @@ SUBDIR+=    lapack
 SUBDIR+=       lapack64
 SUBDIR+=       lapacke
 SUBDIR+=       lapacke64
+SUBDIR+=       lean4
 SUBDIR+=       leantar
 SUBDIR+=       libffm
 SUBDIR+=       libfixmath