git: 1b17991da334 - main - math/cvc5: update 1.3.4 → 1.4.0

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=1b17991da334a9f7434c2eda1ffb7876dc700a1c

commit 1b17991da334a9f7434c2eda1ffb7876dc700a1c
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-09-20 18:07:32 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-09-20 18:16:46 +0000

    math/cvc5: update 1.3.4 → 1.4.0
---
 math/cvc5/Makefile | 15 ++++++---------
 math/cvc5/distinfo |  6 +++---
 2 files changed, 9 insertions(+), 12 deletions(-)

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index d93eb0302ca5..de595c7c3ec2 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.3.4
-PORTREVISION=	1
+DISTVERSION=	1.4.0
 CATEGORIES=	math java
 EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
@@ -14,12 +13,10 @@ LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	bash:shells/bash \
-		${LOCALBASE}/lib/symfpu.a:math/symfpu \
-		${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR} \
-		${PYTHON_PKGNAMEPREFIX}tomli>0:textproc/py-tomli@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}pexpect>0:misc/py-pexpect@${PY_FLAVOR} \
-		${PYTHON_PKGNAMEPREFIX}pybind11>0:devel/py-pybind11@${PY_FLAVOR} \
-		${PYTHON_PKGNAMEPREFIX}pyparsing>0:devel/py-pyparsing@${PY_FLAVOR}
+		${PYTHON_PKGNAMEPREFIX}pyparsing>0:devel/py-pyparsing@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}tomli>0:textproc/py-tomli@${PY_FLAVOR} \
+		${LOCALBASE}/lib/symfpu.a:math/symfpu
 LIB_DEPENDS=	libcadical.so:math/cadical
 
 TEST_ENV=	ARGS=-V
@@ -78,7 +75,7 @@ CRYPTOMINISAT_LIB_DEPENDS=	libcryptominisat5.so:math/cryptominisat
 GLPK_DESC=			Use GLPK simplex solver
 GLPK_CMAKE_BOOL=		USE_GLPK
 GLPK_LIB_DEPENDS=		libglpk.so:math/glpk
-GLPK_BROKEN=		requires GLPK-cut-log patch, see cmake/deps-utils/glpk-cut-log.patch
+GLPK_BROKEN=			requires GLPK-cut-log patch, see cmake/deps-utils/glpk-cut-log.patch
 
 KISSAT_DESC=			Use Kissat solver
 KISSAT_CMAKE_BOOL=		USE_KISSAT
@@ -103,6 +100,6 @@ CMAKE_ARGS+=		-DENABLE_GPL:BOOL=ON
 
 PORTSCOUT=	limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like 1.8, 1.7, etc.
 
-# tests as of 1.3.4: 99% tests passed, 6 tests failed out of 4241, see https://github.com/cvc5/cvc5/issues/12662
+# tests as of 1.4.0: 99% tests passed, 9 tests failed out of 4361, see https://github.com/cvc5/cvc5/issues/12958
 
 .include <bsd.port.mk>
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index edbab9d51c97..aa320f9a0df9 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1778282554
-SHA256 (cvc5-cvc5-cvc5-1.3.4_GH0.tar.gz) = 40e7a0d311ebd583972f412701a0f4bc325632bab74ca25f407b3acbb66db44e
-SIZE (cvc5-cvc5-cvc5-1.3.4_GH0.tar.gz) = 9271118
+TIMESTAMP = 1789892477
+SHA256 (cvc5-cvc5-cvc5-1.4.0_GH0.tar.gz) = 06c65b30693d1abf7c1393b497c799950de2833457920b9433da8e418bce9113
+SIZE (cvc5-cvc5-cvc5-1.4.0_GH0.tar.gz) = 9483162