summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
Diffstat (limited to 'math')
-rw-r--r--math/armadillo/Makefile2
-rw-r--r--math/cvc5/Makefile19
-rw-r--r--math/cvc5/distinfo6
-rw-r--r--math/elan/Makefile2
-rw-r--r--math/fend/Makefile2
-rw-r--r--math/kalc/Makefile2
-rw-r--r--math/kalker/Makefile2
-rw-r--r--math/py-arviz/Makefile3
-rw-r--r--math/py-arviz/distinfo6
-rw-r--r--math/py-clarabel/Makefile2
-rw-r--r--math/py-pcodec/Makefile2
-rw-r--r--math/py-rustworkx/Makefile2
-rw-r--r--math/py-statsmodels/Makefile2
-rw-r--r--math/py-statsmodels/files/patch-pyproject.toml6
-rw-r--r--math/savage/Makefile2
15 files changed, 36 insertions, 24 deletions
diff --git a/math/armadillo/Makefile b/math/armadillo/Makefile
index 8087661da7c8..2735d28594db 100644
--- a/math/armadillo/Makefile
+++ b/math/armadillo/Makefile
@@ -14,7 +14,7 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.txt
LIB_DEPENDS= libarpack.so:math/arpack-ng \
libsuperlu.so:math/superlu
-USES= blaslapack:openblas cmake:testing compiler:c++11-lang pathfix pkgconfig tar:xz
+USES= blaslapack:openblas cmake:testing compiler:c++11-lang pkgconfig tar:xz
CMAKE_OFF= ALLOW_BLAS_LAPACK_MACOS \
ALLOW_FLEXIBLAS_LINUX \
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
diff --git a/math/elan/Makefile b/math/elan/Makefile
index 33059114d8a2..4033eec084f6 100644
--- a/math/elan/Makefile
+++ b/math/elan/Makefile
@@ -1,7 +1,7 @@
PORTNAME= elan
DISTVERSIONPREFIX= v
DISTVERSION= 4.0.1
-PORTREVISION= 5
+PORTREVISION= 6
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
diff --git a/math/fend/Makefile b/math/fend/Makefile
index 2f82de844352..7ee592f1371f 100644
--- a/math/fend/Makefile
+++ b/math/fend/Makefile
@@ -1,7 +1,7 @@
PORTNAME= fend
DISTVERSIONPREFIX= v
DISTVERSION= 1.5.7
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
diff --git a/math/kalc/Makefile b/math/kalc/Makefile
index 5551f574b857..97cef4e9418f 100644
--- a/math/kalc/Makefile
+++ b/math/kalc/Makefile
@@ -1,7 +1,7 @@
PORTNAME= kalc
DISTVERSIONPREFIX= v
DISTVERSION= 1.5.0
-PORTREVISION= 5
+PORTREVISION= 6
CATEGORIES= math
PKGNAMESUFFIX= -calculator
diff --git a/math/kalker/Makefile b/math/kalker/Makefile
index cbcf782a8b9d..640c2ffdd585 100644
--- a/math/kalker/Makefile
+++ b/math/kalker/Makefile
@@ -1,7 +1,7 @@
PORTNAME= kalker
DISTVERSIONPREFIX= v
DISTVERSION= 2.2.1
-PORTREVISION= 10
+PORTREVISION= 11
CATEGORIES= math
MAINTAINER= ashish@FreeBSD.org
diff --git a/math/py-arviz/Makefile b/math/py-arviz/Makefile
index d262be7a0339..91dde4a4df51 100644
--- a/math/py-arviz/Makefile
+++ b/math/py-arviz/Makefile
@@ -1,7 +1,6 @@
PORTNAME= arviz
DISTVERSIONPREFIX= v
-DISTVERSION= 0.22.0
-PORTREVISION= 1
+DISTVERSION= 0.23.0
CATEGORIES= math python
#MASTER_SITES= PYPI # missing test files
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
diff --git a/math/py-arviz/distinfo b/math/py-arviz/distinfo
index 7d6daefbbffb..74fca6abdf89 100644
--- a/math/py-arviz/distinfo
+++ b/math/py-arviz/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1752189724
-SHA256 (arviz-devs-arviz-v0.22.0_GH0.tar.gz) = 69f63ef24118bf6d82069658cb20ae1ae69ffe56472e04be7db6731b9568a367
-SIZE (arviz-devs-arviz-v0.22.0_GH0.tar.gz) = 11415945
+TIMESTAMP = 1765877975
+SHA256 (arviz-devs-arviz-v0.23.0_GH0.tar.gz) = 9c2042f3b5b8096db577794cad72788e9a79d89002960aed6146076036c1ab84
+SIZE (arviz-devs-arviz-v0.23.0_GH0.tar.gz) = 11445046
diff --git a/math/py-clarabel/Makefile b/math/py-clarabel/Makefile
index 9a460d955966..94785119ce33 100644
--- a/math/py-clarabel/Makefile
+++ b/math/py-clarabel/Makefile
@@ -1,7 +1,7 @@
PORTNAME= clarabel
DISTVERSIONPREFIX= v
DISTVERSION= 0.9.0
-PORTREVISION= 12
+PORTREVISION= 13
CATEGORIES= math python
#MASTER_SITES= PYPI
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
diff --git a/math/py-pcodec/Makefile b/math/py-pcodec/Makefile
index a5c3baa55828..516004e11e81 100644
--- a/math/py-pcodec/Makefile
+++ b/math/py-pcodec/Makefile
@@ -1,6 +1,6 @@
PORTNAME= pcodec
PORTVERSION= 0.3.5
-PORTREVISION= 4
+PORTREVISION= 5
CATEGORIES= math python
MASTER_SITES= PYPI
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
diff --git a/math/py-rustworkx/Makefile b/math/py-rustworkx/Makefile
index 9f842b0c5861..d5cc4e0342ad 100644
--- a/math/py-rustworkx/Makefile
+++ b/math/py-rustworkx/Makefile
@@ -1,6 +1,6 @@
PORTNAME= rustworkx
DISTVERSION= 0.17.1
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= math python
#MASTER_SITES= PYPI
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
diff --git a/math/py-statsmodels/Makefile b/math/py-statsmodels/Makefile
index a336ac0aed9c..65cb28c68a64 100644
--- a/math/py-statsmodels/Makefile
+++ b/math/py-statsmodels/Makefile
@@ -15,7 +15,7 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.txt
BUILD_DEPENDS= ${PYTHON_PKGNAMEPREFIX}numpy>=1.22.3,1<2,1:math/py-numpy@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}scipy>=1.8,1<2,1:science/py-scipy@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}setuptools>=63.1.0:devel/py-setuptools@${PY_FLAVOR} \
- ${PYTHON_PKGNAMEPREFIX}setuptools-scm>=8<9:devel/py-setuptools-scm@${PY_FLAVOR} \
+ ${PYTHON_PKGNAMEPREFIX}setuptools-scm>=8<10:devel/py-setuptools-scm@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}wheel>=0:devel/py-wheel@${PY_FLAVOR}
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}numpy>=1.22.3,1<2,1:math/py-numpy@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}packaging>=21.3:devel/py-packaging@${PY_FLAVOR} \
diff --git a/math/py-statsmodels/files/patch-pyproject.toml b/math/py-statsmodels/files/patch-pyproject.toml
index e7b6ab880b99..59e32baf8478 100644
--- a/math/py-statsmodels/files/patch-pyproject.toml
+++ b/math/py-statsmodels/files/patch-pyproject.toml
@@ -1,6 +1,6 @@
--- pyproject.toml.orig 2025-07-02 15:55:37 UTC
+++ pyproject.toml
-@@ -2,10 +2,10 @@ requires = [
+@@ -2,11 +2,11 @@ requires = [
# These are strictly build requirements. Runtime requirements are listed in
# INSTALL_REQUIRES in setup.py
requires = [
@@ -9,8 +9,10 @@
"cython>=3.0.10,<4", # Sync with CYTHON_MIN_VER in setup
- "numpy>=2.0.0,<3",
- "scipy>=1.13,<2",
+- "setuptools_scm[toml]>=8,<9"
+ "numpy>=1.22.3,<3",
+ "scipy>=1.8,<2",
- "setuptools_scm[toml]>=8,<9"
++ "setuptools_scm[toml]>=8,<10"
]
build-backend = "setuptools.build_meta"
+
diff --git a/math/savage/Makefile b/math/savage/Makefile
index 499722cb6382..3445b5b309c1 100644
--- a/math/savage/Makefile
+++ b/math/savage/Makefile
@@ -1,7 +1,7 @@
PORTNAME= savage
DISTVERSIONPREFIX= v
DISTVERSION= 0.2.0
-PORTREVISION= 34
+PORTREVISION= 35
CATEGORIES= math
MAINTAINER= ashish@FreeBSD.org
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-17 15:01:17 +0000