CVS commit: pkgsrc/math/cvc5
"Alexander Nasonov" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
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.
(unnamed)
(text/x-diff, 836 B)
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