diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-06-21 01:06:48 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-06-21 01:34:32 +0000 |
| commit | cf957f22a8e8653fbf7d1b8beb4915de3afaa076 (patch) | |
| tree | c12caeaf02babcdf70ceb814a802c26ad18a133d | |
| parent | 3cfed27697a2e52244ea1c75061594f68fbb26a3 (diff) | |
math/py-logical-unification: New port: Logical unification in Python
| -rw-r--r-- | math/Makefile | 1 | ||||
| -rw-r--r-- | math/py-logical-unification/Makefile | 28 | ||||
| -rw-r--r-- | math/py-logical-unification/distinfo | 3 | ||||
| -rw-r--r-- | math/py-logical-unification/pkg-descr | 4 |
4 files changed, 36 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 28d1cda1bbc7..39adc901b944 100644 --- a/math/Makefile +++ b/math/Makefile @@ -955,6 +955,7 @@ SUBDIR += py-libpoly SUBDIR += py-linearmodels SUBDIR += py-lmfit + SUBDIR += py-logical-unification SUBDIR += py-lrcalc SUBDIR += py-luminol SUBDIR += py-mapbox-earcut diff --git a/math/py-logical-unification/Makefile b/math/py-logical-unification/Makefile new file mode 100644 index 000000000000..acf64da08928 --- /dev/null +++ b/math/py-logical-unification/Makefile @@ -0,0 +1,28 @@ +PORTNAME= logical-unification +DISTVERSIONPREFIX= v +DISTVERSION= 0.4.6 +CATEGORIES= math python +#MASTER_SITES= PYPI # no tests +PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Logical unification in Python +WWW= https://github.com/pythological/unification/ + +LICENSE= BSD3CLAUSE +LICENSE_FILE= ${WRKSRC}/LICENSE.txt + +BUILD_DEPENDS= ${PYTHON_PKGNAMEPREFIX}versioneer>0:devel/py-versioneer@${PY_FLAVOR} +RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}multipledispatch>0:devel/py-multipledispatch@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}toolz>0:devel/py-toolz@${PY_FLAVOR} + +USES= python:3.7+ +USE_PYTHON= distutils autoplist pytest + +USE_GITHUB= yes +GH_ACCOUNT= pythological +GH_PROJECT= unification + +NO_ARCH= yes + +.include <bsd.port.mk> diff --git a/math/py-logical-unification/distinfo b/math/py-logical-unification/distinfo new file mode 100644 index 000000000000..8a6784b13713 --- /dev/null +++ b/math/py-logical-unification/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1687308754 +SHA256 (pythological-unification-v0.4.6_GH0.tar.gz) = db8a44a38d2c459b796fd0d8163505ce198c1e98bced1ed7df2d0b3125efe655 +SIZE (pythological-unification-v0.4.6_GH0.tar.gz) = 47171 diff --git a/math/py-logical-unification/pkg-descr b/math/py-logical-unification/pkg-descr new file mode 100644 index 000000000000..02215967755e --- /dev/null +++ b/math/py-logical-unification/pkg-descr @@ -0,0 +1,4 @@ +Logical unification in Python, extensible via dispatch. + +In logic and computer science, unification is an algorithmic process of solving +equations between symbolic expressions. |