diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 87e6b8dbfde3..8b2934cb6e1d 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,106 +1,114 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.4.0
-PORTREVISION=	1
+DISTVERSION=	1.4.1
 CATEGORIES=	math java
 EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
+PATCH_SITES=	https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/
+PATCHFILES=	e748b1feabfbc70da71df4ec114e440c1df3a33e.patch:-p1 # https://github.com/cvc5/cvc5/pull/13015 (Fix configuration with CMake 4.5)
+
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Automatic theorem prover for SMT (Satisfiability Modulo Theories)
 WWW=		https://cvc5.github.io/ \
 		https://github.com/cvc5/cvc5
 
 LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	bash:shells/bash \
 		${PYTHON_PKGNAMEPREFIX}pexpect>0:misc/py-pexpect@${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
+TEST_DEPENDS=	${PYTHON_PKGNAMEPREFIX}pexpect>0:misc/py-pexpect@${PY_FLAVOR}
 
 USES=		cmake:testing ncurses compiler:c++17-lang \
 		localbase:ldflags pkgconfig python:build
 USE_LDCONFIG=	yes
 USE_GITHUB=	yes
 
+TEST_ENV=	ARGS=-V
+
+py310_BUILD_DEPENDS+=	${PYTHON_PKGNAMEPREFIX}tomli>0:textproc/py-tomli@${PY_FLAVOR} # tomli is a fallback for tomllib which is only available in Python 3.11+
+
+.if !defined(WITH_DEBUG)
 CMAKE_BUILD_TYPE=	Production
+.else
+CMAKE_BUILD_TYPE=	Debug
+.endif
 CMAKE_ARGS+=		-DFREEBSD_DISTDIR=${DISTDIR} \
 			-DPython_EXECUTABLE:STRING=${PYTHON_CMD}
 CMAKE_ON=		BUILD_SHARED_LIBS
 CMAKE_OFF=		BUILD_BINDINGS_PYTHON USE_PYTHON3 # Python binding should be a separate port
 CMAKE_TESTING_ON=	ENABLE_UNIT_TESTING
 CMAKE_TESTING_TARGET=	check # check target runs only quick tests (based on https://github.com/cvc5/cvc5/issues/9569#issuecomment-1484943348)
 #CMAKE_TESTING_TARGET=	test # test target also runs longer tests, 2 of which fail, see https://github.com/cvc5/cvc5/issues/9569
 
 PLIST_SUB=		VERSION=${DISTVERSION}
 
 OPTIONS_DEFINE=			COCOALIB EDITLINE GLPK JAVA POLY
 OPTIONS_GROUP=			SOLVERS
 OPTIONS_GROUP_SOLVERS=		CRYPTOMINISAT KISSAT
 OPTIONS_RADIO=			NUMLIB
 OPTIONS_RADIO_NUMLIB=		GMP CLN
 OPTIONS_DEFAULT=		CRYPTOMINISAT EDITLINE JAVA GMP POLY KISSAT # COCOALIB requires patched version, GLPK requires patched version
 OPTIONS_SUB=			yes
 
 COCOALIB_DESC=			Use CoCoALib for further polynomial operations
 COCOALIB_CMAKE_BOOL=		USE_COCOA
-#COCOALIB_BROKEN=		fails to compile with cocoalib, see https://github.com/cvc5/cvc5/issues/9484
+COCOALIB_BROKEN=		fails to compile with cocoalib, see https://github.com/cvc5/cvc5/issues/9484
 
 JAVA_USES=			java
 JAVA_CMAKE_BOOL=		BUILD_BINDINGS_JAVA
 JAVA_CMAKE_ON=			-DJAVA_INCLUDE_PATH:PATH=${JAVA_HOME}/include \
 				-DJAVA_AWT_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ARCH}/libjawt.so \
 				-DJAVA_JVM_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ARCH}/libjava.so
 JAVA_BUILD_DEPENDS=		swig:devel/swig
 #JAVA_BROKEN=			compilation fails: error: unmappable character for encoding ASCII, see https://github.com/cvc5/cvc5/issues/11145
 
 EDITLINE_DESC=			Use Editline for better interactive support
 EDITLINE_CMAKE_BOOL=		USE_EDITLINE
 EDITLINE_BUILD_DEPENDS=		libedit>0:devel/libedit
 EDITLINE_RUN_DEPENDS=		libedit>0:devel/libedit
 
 POLY_DESC=			Use LibPoly for polynomial arithmetic
 POLY_CMAKE_BOOL=		USE_POLY
 POLY_LIB_DEPENDS=		libpoly.so:math/libpoly
 
 # SOLVERS options
 
 CRYPTOMINISAT_DESC=		Use CryptoMiniSat as the SAT solver
 CRYPTOMINISAT_CMAKE_BOOL=	USE_CRYPTOMINISAT
 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
 
 KISSAT_DESC=			Use Kissat solver
 KISSAT_CMAKE_BOOL=		USE_KISSAT
 KISSAT_LIB_DEPENDS=		libkissat.so:math/kissat
 
 # NUMLIB options
 
 GMP_DESC=			Use GMP numeric library
 GMP_LIB_DEPENDS=		libgmp.so:math/gmp
 
 CLN_DESC=			Use CLN numeric library
 CLN_CMAKE_BOOL=			USE_CLN
 CLN_LIB_DEPENDS=		libcln.so:math/cln \
 				libgmp.so:math/gmp
 
 .include <bsd.port.options.mk>
 
 .if ${PORT_OPTIONS:MCLN}
 LICENSE=		GPLv3
 CMAKE_ARGS+=		-DENABLE_GPL:BOOL=ON
 .endif
 
 PORTSCOUT=	limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like 1.8, 1.7, etc.
 
-# tests as of 1.4.0: 100% tests passed, 0 tests failed out of 4361
+# tests as of 1.4.1: 100% tests passed, 0 tests failed out of 4397
 
 .include <bsd.port.mk>
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index aa320f9a0df9..f0cbf76427d2 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,3 +1,5 @@
-TIMESTAMP = 1789892477
-SHA256 (cvc5-cvc5-cvc5-1.4.0_GH0.tar.gz) = 06c65b30693d1abf7c1393b497c799950de2833457920b9433da8e418bce9113
-SIZE (cvc5-cvc5-cvc5-1.4.0_GH0.tar.gz) = 9483162
+TIMESTAMP = 1790647094
+SHA256 (cvc5-cvc5-cvc5-1.4.1_GH0.tar.gz) = 5448e82682a65ddbdd7148402f73d48725252e70c9a0e43999c3f305bfbb4f76
+SIZE (cvc5-cvc5-cvc5-1.4.1_GH0.tar.gz) = 8954136
+SHA256 (e748b1feabfbc70da71df4ec114e440c1df3a33e.patch) = 0ddf37bdb55a88f08a76e75c080b16b4b9c1b1ec50755c85df4f853438814975
+SIZE (e748b1feabfbc70da71df4ec114e440c1df3a33e.patch) = 1843