CVS commit: pkgsrc/math

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sun Nov  8 17:37:14 UTC 2026

Modified Files:
        pkgsrc/math: Makefile

Log Message:
Add bitwuzla.


To generate a diff of this commit:
cvs rdiff -u -r1.653 -r1.654 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.653 pkgsrc/math/Makefile:1.654
--- pkgsrc/math/Makefile:1.653  Sun Nov  8 16:13:44 2026
+++ pkgsrc/math/Makefile        Sun Nov  8 17:37:14 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.653 2026/11/08 16:13:44 ryoon Exp $
+# $NetBSD: Makefile,v 1.654 2026/11/08 17:37:14 alnsn Exp $
 
 COMMENT=       Mathematics
 
@@ -167,6 +167,7 @@ SUBDIR+=    basic-stats
 SUBDIR+=       bc
 SUBDIR+=       bc-gh
 SUBDIR+=       bcal
+SUBDIR+=       bitwuzla
 SUBDIR+=       blas
 SUBDIR+=       blas64
 SUBDIR+=       blitz++