CVS commit: pkgsrc/math/cvc5

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Thu Jul  2 23:20:47 UTC 2026

Added Files:
        pkgsrc/math/cvc5: DESCR Makefile PLIST distinfo

Log Message:
Initial import of math/cvc5 version 1.3.4.

An efficient open-source automatic theorem prover for Satisfiability
Modulo Theories (SMT) problems. It can be used to prove the
satisfiability (or, dually, the validity) of first-order formulas
with respect to (combinations of) a variety of useful background
theories.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/cvc5/DESCR pkgsrc/math/cvc5/Makefile \
    pkgsrc/math/cvc5/PLIST pkgsrc/math/cvc5/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/math/cvc5/DESCR
diff -u /dev/null pkgsrc/math/cvc5/DESCR:1.1
--- /dev/null   Thu Jul  2 23:20:47 2026
+++ pkgsrc/math/cvc5/DESCR      Thu Jul  2 23:20:47 2026
@@ -0,0 +1,5 @@
+An efficient open-source automatic theorem prover for Satisfiability
+Modulo Theories (SMT) problems. It can be used to prove the
+satisfiability (or, dually, the validity) of first-order formulas
+with respect to (combinations of) a variety of useful background
+theories.
Index: pkgsrc/math/cvc5/Makefile
diff -u /dev/null pkgsrc/math/cvc5/Makefile:1.1
--- /dev/null   Thu Jul  2 23:20:47 2026
+++ pkgsrc/math/cvc5/Makefile   Thu Jul  2 23:20:47 2026
@@ -0,0 +1,38 @@
+# $NetBSD: Makefile,v 1.1 2026/07/02 23:20:47 alnsn Exp $
+
+DISTNAME=      cvc5-1.3.4
+CATEGORIES=    math
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=cvc5/}
+GITHUB_TAG=    cvc5-${PKGVERSION_NOREV}
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      https://cvc5.github.io/
+COMMENT=       Automatic theorem prover for SMT (Satisfiability Modulo Theories)
+LICENSE=       modified-bsd
+
+USE_TOOLS+=    git
+USE_LANGUAGES= c c++
+
+CMAKE_CONFIGURE_ARGS+= -DCMAKE_BUILD_TYPE=Production
+CMAKE_CONFIGURE_ARGS+= -DCMAKE_PREFIX_PATH=${PREFIX}
+CMAKE_CONFIGURE_ARGS+= -DBUILD_SHARED_LIBS=ON
+CMAKE_CONFIGURE_ARGS+= -DUSE_PYTHON_VENV=OFF
+CMAKE_CONFIGURE_ARGS+= -DUSE_POLY=ON
+
+DEPENDS+=      ${PYPKGPREFIX}-pyparsing>=3.0.9:../../devel/py-pyparsing
+
+# Tests take a long time to finish, you can instead
+# run them inside a sandboxed shell and pass -j N:
+# make install
+# make build-env
+# cd cmake-pkgsrc-build && ctest -j 32
+# ^D
+#TEST_TARGET=  test
+
+.include "../../devel/cmake/build.mk"
+.include "../../lang/python/tool.mk"
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../math/cadical/buildlink3.mk"
+.include "../../math/libpoly/buildlink3.mk"
+.include "../../math/symfpu/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/cvc5/PLIST
diff -u /dev/null pkgsrc/math/cvc5/PLIST:1.1
--- /dev/null   Thu Jul  2 23:20:47 2026
+++ pkgsrc/math/cvc5/PLIST      Thu Jul  2 23:20:47 2026
@@ -0,0 +1,21 @@
+@comment $NetBSD: PLIST,v 1.1 2026/07/02 23:20:47 alnsn Exp $
+bin/cvc5
+include/cvc5/c/cvc5.h
+include/cvc5/c/cvc5_parser.h
+include/cvc5/cvc5.h
+include/cvc5/cvc5_export.h
+include/cvc5/cvc5_kind.h
+include/cvc5/cvc5_parser.h
+include/cvc5/cvc5_proof_rule.h
+include/cvc5/cvc5_skolem_id.h
+include/cvc5/cvc5_types.h
+lib/cmake/cvc5/cvc5Config.cmake
+lib/cmake/cvc5/cvc5ConfigVersion.cmake
+lib/cmake/cvc5/cvc5Targets-production.cmake
+lib/cmake/cvc5/cvc5Targets.cmake
+lib/libcvc5.so
+lib/libcvc5.so.1
+lib/libcvc5.so.${PKGVERSION}
+lib/libcvc5parser.so
+lib/libcvc5parser.so.1
+lib/libcvc5parser.so.${PKGVERSION}
Index: pkgsrc/math/cvc5/distinfo
diff -u /dev/null pkgsrc/math/cvc5/distinfo:1.1
--- /dev/null   Thu Jul  2 23:20:47 2026
+++ pkgsrc/math/cvc5/distinfo   Thu Jul  2 23:20:47 2026
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2026/07/02 23:20:47 alnsn Exp $
+
+BLAKE2s (cvc5-1.3.4.tar.gz) = 11f158543cb7183b5d40039f56bf49e90a4f4a5288b508555bf29dae93ecad4f
+SHA512 (cvc5-1.3.4.tar.gz) = 6e65593e9493dd2db1acc38cdf38fe3285a9ca966ded7f4ecb349927e6fce17b6d4f6cb7f9d950ab5f48f50eb59f4f7a995b74f9d244455f5f460ac66e1a6dd9
+Size (cvc5-1.3.4.tar.gz) = 9271118 bytes