diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-06-21 01:51:44 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-06-21 03:47:43 +0000 |
| commit | b9245821167d9128b634aa50c854487ba073c3fb (patch) | |
| tree | c0fe7692f4b0aa4ff3d0987e9d0ca9e3abd85804 | |
| parent | 542e1b917c74d0b288b0bd00458469b92193c5d0 (diff) | |
devel/py-miniKanren: New port: Logic/relational programming in Python
| -rw-r--r-- | devel/Makefile | 1 | ||||
| -rw-r--r-- | devel/py-miniKanren/Makefile | 32 | ||||
| -rw-r--r-- | devel/py-miniKanren/distinfo | 3 | ||||
| -rw-r--r-- | devel/py-miniKanren/pkg-descr | 2 |
4 files changed, 38 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 41bf530baf93..9d35cae07da4 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -4950,6 +4950,7 @@ SUBDIR += py-microversion-parse SUBDIR += py-milc SUBDIR += py-mime + SUBDIR += py-miniKanren SUBDIR += py-minidump SUBDIR += py-minimongo SUBDIR += py-minio diff --git a/devel/py-miniKanren/Makefile b/devel/py-miniKanren/Makefile new file mode 100644 index 000000000000..5a0ded420840 --- /dev/null +++ b/devel/py-miniKanren/Makefile @@ -0,0 +1,32 @@ +PORTNAME= miniKanren +DISTVERSIONPREFIX= v +DISTVERSION= 1.0.3 +#MASTER_SITES= PYPI # no tests +CATEGORIES= devel python +PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Logic/relational programming in Python +WWW= https://github.com/pythological/kanren + +LICENSE= BSD3CLAUSE +LICENSE_FILE= ${WRKSRC}/LICENSE.txt + +RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}cons>=0.4.0:devel/py-cons@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}etuples>=0.3.1:devel/py-etuples@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}logical-unification>=0.4.1:math/py-logical-unification@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}multipledispatch>0:devel/py-multipledispatch@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}toolz>0:devel/py-toolz@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}typing-extensions>0:devel/py-typing-extensions@${PY_FLAVOR} +TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}sympy>0:math/py-sympy@${PY_FLAVOR} + +USES= python:3.7+ +USE_PYTHON= distutils autoplist pytest # tests fail due to etuples problems + +USE_GITHUB= yes +GH_ACCOUNT= pythological +GH_PROJECT= kanren + +NO_ARCH= yes + +.include <bsd.port.mk> diff --git a/devel/py-miniKanren/distinfo b/devel/py-miniKanren/distinfo new file mode 100644 index 000000000000..0d65158bb7ac --- /dev/null +++ b/devel/py-miniKanren/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1687312051 +SHA256 (pythological-kanren-v1.0.3_GH0.tar.gz) = 0cc6d507e6e45f48db73fc1fd47718aaefb82d419ddd7654f806261ab135f0ad +SIZE (pythological-kanren-v1.0.3_GH0.tar.gz) = 72998 diff --git a/devel/py-miniKanren/pkg-descr b/devel/py-miniKanren/pkg-descr new file mode 100644 index 000000000000..cd22fc324a6f --- /dev/null +++ b/devel/py-miniKanren/pkg-descr @@ -0,0 +1,2 @@ +miniKanren is an extensible, lightweight relational/logic programming DSL +written in pure Python. |