git: 14a673a130d0 - main - math/py-math-verify: New port: HuggingFace library for verifying mathematical answers
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 09 Jul 2026 05:20:25 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=14a673a130d0fbab11e50e646ba591e7a84fc1e3
commit 14a673a130d0fbab11e50e646ba591e7a84fc1e3
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-07-09 01:13:59 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-07-09 05:20:14 +0000
math/py-math-verify: New port: HuggingFace library for verifying mathematical answers
---
math/Makefile | 1 +
math/py-math-verify/Makefile | 27 +++++++++++++++++++++++++++
math/py-math-verify/distinfo | 3 +++
math/py-math-verify/pkg-descr | 5 +++++
4 files changed, 36 insertions(+)
diff --git a/math/Makefile b/math/Makefile
index 36b3601711e0..0fcbb4042b37 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -1050,6 +1050,7 @@
SUBDIR += py-lrcalc
SUBDIR += py-luminol
SUBDIR += py-mapbox-earcut
+ SUBDIR += py-math-verify
SUBDIR += py-mathics
SUBDIR += py-mathics-scanner
SUBDIR += py-matplotlib
diff --git a/math/py-math-verify/Makefile b/math/py-math-verify/Makefile
new file mode 100644
index 000000000000..242e3a83aa05
--- /dev/null
+++ b/math/py-math-verify/Makefile
@@ -0,0 +1,27 @@
+PORTNAME= math-verify
+PORTVERSION= 0.9.0
+CATEGORIES= math python # machine-learning
+MASTER_SITES= PYPI
+PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
+DISTNAME= math_verify-${PORTVERSION}
+
+MAINTAINER= yuri@FreeBSD.org
+COMMENT= HuggingFace library for verifying mathematical answers
+WWW= https://github.com/huggingface/math-verify
+
+LICENSE= APACHE20
+LICENSE_FILE= ${WRKSRC}/LICENCE
+
+BUILD_DEPENDS= ${PYTHON_PKGNAMEPREFIX}setuptools>0:devel/py-setuptools@${PY_FLAVOR} \
+ ${PYTHON_PKGNAMEPREFIX}wheel>0:devel/py-wheel@${PY_FLAVOR}
+RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}latex2sympy2-extended>0:math/py-latex2sympy2-extended@${PY_FLAVOR}
+
+USES= python
+USE_PYTHON= autoplist concurrent pep517
+
+NO_ARCH= yes
+
+post-extract:
+ @${REINPLACE_CMD} -e 's/^license = "\([^"]*\)"/license = {text = "\1"}/' -e '/^license-files/d' ${WRKSRC}/pyproject.toml
+
+.include <bsd.port.mk>
diff --git a/math/py-math-verify/distinfo b/math/py-math-verify/distinfo
new file mode 100644
index 000000000000..fd646deb9105
--- /dev/null
+++ b/math/py-math-verify/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1783090332
+SHA256 (math_verify-0.9.0.tar.gz) = 45ac6c61344ba056b9e99a660a4bc8d044ed408f730aed68c60435aa5eec4645
+SIZE (math_verify-0.9.0.tar.gz) = 60329
diff --git a/math/py-math-verify/pkg-descr b/math/py-math-verify/pkg-descr
new file mode 100644
index 000000000000..79a1c8441b0c
--- /dev/null
+++ b/math/py-math-verify/pkg-descr
@@ -0,0 +1,5 @@
+Math-Verify is a HuggingFace library for verifying mathematical answers.
+
+It provides evaluation metrics and verification utilities for assessing
+the correctness of mathematical solutions, supporting both numeric and
+symbolic answer comparison.