diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2022-09-06 16:00:05 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2022-09-06 16:06:07 +0000 |
| commit | 50e722f392244fd61dad33417cd142f0ab90718a (patch) | |
| tree | 652afbdcb2975f19487e08d53b6945f570279445 | |
| parent | 6042c4ceac992d5772c2bdf2c26180388ac2e4d6 (diff) | |
| -rw-r--r-- | math/Makefile | 1 | ||||
| -rw-r--r-- | math/mathlibtools/Makefile | 29 | ||||
| -rw-r--r-- | math/mathlibtools/distinfo | 3 | ||||
| -rw-r--r-- | math/mathlibtools/pkg-descr | 5 |
4 files changed, 38 insertions, 0 deletions
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 |