CVS commit: pkgsrc/math

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Thu Jul  2 23:21:54 UTC 2026

Modified Files:
        pkgsrc/math: Makefile

Log Message:
Add cvc5.


To generate a diff of this commit:
cvs rdiff -u -r1.640 -r1.641 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.640 pkgsrc/math/Makefile:1.641
--- pkgsrc/math/Makefile:1.640  Thu Jul  2 22:35:17 2026
+++ pkgsrc/math/Makefile        Thu Jul  2 23:21:54 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.640 2026/07/02 22:35:17 alnsn Exp $
+# $NetBSD: Makefile,v 1.641 2026/07/02 23:21:54 alnsn Exp $
 
 COMMENT=       Mathematics
 
@@ -182,6 +182,7 @@ SUBDIR+=    cln
 SUBDIR+=       coinmp
 SUBDIR+=       congen
 SUBDIR+=       crfsuite
+SUBDIR+=       cvc5
 SUBDIR+=       dcdflib.c
 SUBDIR+=       dcdflib.f
 SUBDIR+=       dfftpack