Date: Tue, 16 Dec 2025 09:23:56 +0000 From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: e0b5f1160e9c - main - math/cvc5: update 1.=?utf-8?Q?3.1 =E2=86=92?= 1.3.2 Message-ID: <6941252c.3f214.3e4ccd7f@gitrepo.freebsd.org>
index | next in thread | raw e-mail
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) = 9250970home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6941252c.3f214.3e4ccd7f>