git: b9245821167d - main - devel/py-miniKanren: New port: Logic/relational programming in Python

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=b9245821167d9128b634aa50c854487ba073c3fb

commit b9245821167d9128b634aa50c854487ba073c3fb
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-06-21 01:51:44 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-06-21 03:47:43 +0000

    devel/py-miniKanren: New port: Logic/relational programming in Python
---
 devel/Makefile                |  1 +
 devel/py-miniKanren/Makefile  | 32 ++++++++++++++++++++++++++++++++
 devel/py-miniKanren/distinfo  |  3 +++
 devel/py-miniKanren/pkg-descr |  2 ++
 4 files changed, 38 insertions(+)

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.