CVS commit: pkgsrc/math/cvc5

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sat Jul 25 18:58:36 UTC 2026

Modified Files:
        pkgsrc/math/cvc5: Makefile

Log Message:
math/cadical is build-only dep, bump pkgrev.


To generate a diff of this commit:
cvs rdiff -u -r1.4 -r1.5 pkgsrc/math/cvc5/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/cvc5/Makefile
diff -u pkgsrc/math/cvc5/Makefile:1.4 pkgsrc/math/cvc5/Makefile:1.5
--- pkgsrc/math/cvc5/Makefile:1.4       Fri Jul  3 22:03:50 2026
+++ pkgsrc/math/cvc5/Makefile   Sat Jul 25 18:58:36 2026
@@ -1,6 +1,7 @@
-# $NetBSD: Makefile,v 1.4 2026/07/03 22:03:50 alnsn Exp $
+# $NetBSD: Makefile,v 1.5 2026/07/25 18:58:36 alnsn Exp $
 
 DISTNAME=      cvc5-1.3.4
+PKGREVISION=   1
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=cvc5/}
 GITHUB_TAG=    cvc5-${PKGVERSION_NOREV}
@@ -21,6 +22,8 @@ CMAKE_CONFIGURE_ARGS+=        -DUSE_POLY=ON
 
 DEPENDS+=      ${PYPKGPREFIX}-pyparsing>=3.0.9:../../devel/py-pyparsing
 
+BUILDLINK_DEPMETHOD.cadical=   build
+
 TEST_TARGET=   check
 CVC5_BUILD_SRC=        ${WRKSRC}/${CMAKE_BUILD_DIR}/src
 TEST_ENV+=     LD_LIBRARY_PATH=${CVC5_BUILD_SRC}:${CVC5_BUILD_SRC}/parser:${CVC5_BUILD_SRC}/main