Date: Tue, 6 Sep 2022 16:06:11 GMT 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: 50e722f39224 - main - math/mathlibtools: New port: Lean prover mathlib supporting tools Message-ID: <202209061606.286G6BjQ084857@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=50e722f392244fd61dad33417cd142f0ab90718a commit 50e722f392244fd61dad33417cd142f0ab90718a Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2022-09-06 16:00:05 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2022-09-06 16:06:07 +0000 math/mathlibtools: New port: Lean prover mathlib supporting tools --- math/Makefile | 1 + math/mathlibtools/Makefile | 29 +++++++++++++++++++++++++++++ math/mathlibtools/distinfo | 3 +++ math/mathlibtools/pkg-descr | 5 +++++ 4 files changed, 38 insertions(+) diff --git a/math/Makefile b/math/Makefile index ca08e5d54f67..680ec066b5c8 100644 --- a/math/Makefile +++ b/math/Makefile @@ -466,6 +466,7 @@ SUBDIR += math77 SUBDIR += mathgl SUBDIR += mathicsscript + SUBDIR += mathlibtools SUBDIR += mathmod SUBDIR += mathomatic SUBDIR += matio diff --git a/math/mathlibtools/Makefile b/math/mathlibtools/Makefile new file mode 100644 index 000000000000..c5549b9bed8f --- /dev/null +++ b/math/mathlibtools/Makefile @@ -0,0 +1,29 @@ +PORTNAME= mathlibtools +DISTVERSION= 1.1.2 +CATEGORIES= math python +MASTER_SITES= CHEESESHOP + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Lean prover mathlib supporting tools + +LICENSE= APACHE20 +LICENSE_FILE= ${WRKSRC}/LICENSE + +RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}atomicwrites>0:devel/py-atomicwrites@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}certifi>0:security/py-certifi@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}click>0:devel/py-click@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}gitpython>=2.1.11:devel/py-gitpython@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}networkx>0:math/py-networkx@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pydot>0:graphics/py-pydot@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pygithub>0:devel/py-pygithub@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pyaml>=3.13:textproc/py-pyaml@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}requests>0:www/py-requests@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}toml>=0.10.0:textproc/py-toml@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}tqdm>0:misc/py-tqdm@${PY_FLAVOR} + +USES= python:3.6+ +USE_PYTHON= distutils noflavors autoplist + +NO_ARCH= yes + +.include <bsd.port.mk> diff --git a/math/mathlibtools/distinfo b/math/mathlibtools/distinfo new file mode 100644 index 000000000000..139270e381e6 --- /dev/null +++ b/math/mathlibtools/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1662478484 +SHA256 (mathlibtools-1.1.2.tar.gz) = 25b9dbdc52b20753407a107cb59c4157a77b24908e81664f31631a14400ece43 +SIZE (mathlibtools-1.1.2.tar.gz) = 26556 diff --git a/math/mathlibtools/pkg-descr b/math/mathlibtools/pkg-descr new file mode 100644 index 000000000000..f01ea900eab4 --- /dev/null +++ b/math/mathlibtools/pkg-descr @@ -0,0 +1,5 @@ +mathlibtools contains leanproject, a supporting tool for Lean mathlib. + +Lean is installed by the port math/lean. + +WWW: https://github.com/leanprover-community/mathlib-tools
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202209061606.286G6BjQ084857>