git: e0b5f1160e9c - main - math/cvc5: update 1.3.1 → 1.3.2

The branch main has been updated by yuri:

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

commit e0b5f1160e9cdfc66c41439d2509aade5b2d97be
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-12-16 08:25:27 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-12-16 09:23:50 +0000

    math/cvc5: update 1.3.1 → 1.3.2
    
    Reported by:    portscout
---
 math/cvc5/Makefile | 19 +++++++++++++++----
 math/cvc5/distinfo |  6 +++---
 2 files changed, 18 insertions(+), 7 deletions(-)

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 81e7f5221854..ec88a324565d 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.3.1
+DISTVERSION=	1.3.2
 CATEGORIES=	math java
 EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
@@ -39,12 +39,12 @@ CMAKE_TESTING_TARGET=	check # check target runs only quick tests (based on https
 
 PLIST_SUB=		VERSION=${DISTVERSION}
 
-OPTIONS_DEFINE=			COCOALIB EDITLINE JAVA
+OPTIONS_DEFINE=			COCOALIB EDITLINE GLPK JAVA POLY
 OPTIONS_GROUP=			SOLVERS
-OPTIONS_GROUP_SOLVERS=		CRYPTOMINISAT GLPK KISSAT
+OPTIONS_GROUP_SOLVERS=		CRYPTOMINISAT KISSAT
 OPTIONS_RADIO=			NUMLIB
 OPTIONS_RADIO_NUMLIB=		GMP CLN
-OPTIONS_DEFAULT=		CRYPTOMINISAT EDITLINE GMP KISSAT # COCOALIB # JAVA is broken
+OPTIONS_DEFAULT=		CRYPTOMINISAT EDITLINE GMP KISSAT # COCOALIB GLPK JAVA POLY are broken
 OPTIONS_SUB=			yes
 
 COCOALIB_DESC=			Use CoCoALib for further polynomial operations
@@ -63,12 +63,22 @@ 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
+POLY_BROKEN=		compilation fails with libpoly API mismatch, see poly_conversion.cpp:250
+
 # 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
@@ -93,5 +103,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.1: 1 test fails, see https://github.com/cvc5/cvc5/issues/12215
+# tests as of 1.3.2: 100% tests passed, 0 tests failed out of 4115, see https://github.com/cvc5/cvc5/issues/12215
 
 .include <bsd.port.mk>
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index 2f080a92c278..c8a1488c0525 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1762288360
-SHA256 (cvc5-cvc5-cvc5-1.3.1_GH0.tar.gz) = ce1dce7b1ba8ade0ba7937b8ad7aa6ffa1df0dd9586963ead082baa299ef32d5
-SIZE (cvc5-cvc5-cvc5-1.3.1_GH0.tar.gz) = 9205045
+TIMESTAMP = 1765845301
+SHA256 (cvc5-cvc5-cvc5-1.3.2_GH0.tar.gz) = 85a9cc4e1f80efcdb235e89c9f361c74b1089023ceb43f38c2d5e73a4e2db47e
+SIZE (cvc5-cvc5-cvc5-1.3.2_GH0.tar.gz) = 9250970