From: Ryan Prior via Guix-patches via <guix-patches@gnu.org>
To: 50836@debbugs.gnu.org
Subject: [bug#50836] [PATCH 5/5] gnu: Add python-minikanren.
Date: Mon, 27 Sep 2021 02:20:24 +0000 [thread overview]
Message-ID: <20210927022011.30839-5-rprior@protonmail.com> (raw)
In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com>
gnu/packages/python-xyz.scm (python-minikanren): New variable.
---
gnu/packages/python-xyz.scm | 46 +++++++++++++++++++++++++++++++++++++
1 file changed, 46 insertions(+)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 0b002c42dc..4437de6374 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -26677,6 +26677,52 @@ cons cells in Python.")
"This library implements eval'able S-expression in Python using tuple-like objects.")
(license license:asl2.0)))
+(define-public python-minikanren
+ (package
+ (name "python-minikanren")
+ (version "1.0.1")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/pythological/kanren")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "0g7wfj5hxalwz7k1301nsjqhjpzsif1bj6wjm2x2kavlm2ypv9jc"))))
+ (build-system python-build-system)
+ (arguments
+ '(#:phases (modify-phases %standard-phases
+ (replace 'check
+ (lambda* (#:key tests? #:allow-other-keys)
+ (when tests?
+ (invoke "python" "-m" "pytest" "-v" "tests/" "kanren/"))
+ #t)))))
+ (native-inputs
+ `(("python-coveralls" ,python-coveralls)
+ ("python-pydocstyle" ,python-pydocstyle)
+ ("python-pytest@6.2.4" ,python-pytest)
+ ("python-pytest-cov@2.8.1" ,python-pytest-cov)
+ ("python-pylint@2.5.3" ,python-pylint)
+ ("python-black@20.8b1" ,python-black)
+ ("python-sympy@1.7.1" ,python-sympy)
+ ("python-versioneer@0.19" ,python-versioneer)
+ ("python-coverage@5.2.1" ,python-coverage)
+ ("python-pre-commit@2.10.0" ,python-pre-commit)))
+ (propagated-inputs
+ `(("toolz@0.11.1" ,python-toolz)
+ ("cons" ,python-cons)
+ ("multipledispatch" ,python-multipledispatch)
+ ("etuples" ,python-etuples)
+ ("logical-unification" ,python-logical-unification)))
+ (home-page "https://github.com/pythological/kanren")
+ (synopsis "Relational logic programming in pure Python")
+ (description
+ "The minikanren library provides an algorithmic core for computer algebra
+systems in Python.")
+ (license license:bsd-3)))
+
+
(define-public date2name
(let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798")
(revision "1"))
--
2.33.0
next prev parent reply other threads:[~2021-09-27 2:21 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-09-27 2:17 [bug#50836] [PATCH 0/5] Python logic programming packages Ryan Prior via Guix-patches via
2021-09-27 2:20 ` [bug#50836] [PATCH 1/5] gnu: Add python-multipledispatch Ryan Prior via Guix-patches via
2021-09-27 2:20 ` [bug#50836] [PATCH 2/5] gnu: Add python-logical-unification Ryan Prior via Guix-patches via
2021-09-27 2:20 ` [bug#50836] [PATCH 3/5] gnu: Add python-cons Ryan Prior via Guix-patches via
2021-09-27 2:20 ` [bug#50836] [PATCH 4/5] gnu: Add python-etuples Ryan Prior via Guix-patches via
2021-09-27 2:20 ` Ryan Prior via Guix-patches via [this message]
2021-09-27 10:28 ` [bug#50836] [PATCH 1/5] gnu: Add python-multipledispatch Maxime Devos
2021-11-15 13:42 ` bug#50836: [PATCH 0/5] Python logic programming packages Ludovic Courtès
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20210927022011.30839-5-rprior@protonmail.com \
--to=guix-patches@gnu.org \
--cc=50836@debbugs.gnu.org \
--cc=rprior@protonmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.