[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
15/15: gnu: Add python-clinguin.
From: |
guix-commits |
Subject: |
15/15: gnu: Add python-clinguin. |
Date: |
Sun, 2 Apr 2023 06:49:13 -0400 (EDT) |
lilyp pushed a commit to branch clinguin
in repository guix.
commit b346e01f61dd9a46a665402739fd19c9f1f73e9d
Author: Liliana Marie Prikler <liliana.prikler@gmail.com>
AuthorDate: Sat Mar 18 10:01:48 2023 +0100
gnu: Add python-clinguin.
* gnu/packages/potassco.scm (python-clinguin): New variable.
---
gnu/packages/potassco.scm | 49 ++++++++++++++++++++++++++++++++++++++++++++++-
1 file changed, 48 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 0e6973d980..a3e33ea249 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -35,7 +35,9 @@
#:use-module (gnu packages libffi)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages python)
- #:use-module (gnu packages python-xyz))
+ #:use-module (gnu packages python-web)
+ #:use-module (gnu packages python-xyz)
+ #:use-module (gnu packages sphinx))
(define-public libpotassco
;; No public release, update together with clasp
@@ -374,3 +376,48 @@ logic programs based on clingo.")
"This package provides a clingo-based visualizer for graphs defined
as logic programs.")
(license license:expat)))
+
+(define-public python-clinguin
+ (package
+ (name "python-clinguin")
+ (version "1.0.0-beta")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/potassco/clinguin")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "032fnzxv6wl01sdq7n2k0ikajpmkg8ihjh5mck1mwjvmis8z16d4"))
+ (modules '((guix build utils)))
+ (snippet
+ #~(begin
+ (substitute* "setup.cfg"
+ ;; Fun fact of the day
+ ;; some typo squatter hosted
+ ;; a package named tk
+ (("tk") "")
+ (("typing") "typing;python_version<\"3.5\""))))))
+ (build-system pyproject-build-system)
+ (propagated-inputs
+ (list python-clingo
+ python-clorm
+ python-clingraph
+ python-fastapi
+ python-httpx
+ python-nbconvert
+ python-nbformat
+ python-nbsphinx
+ python-networkx
+ python-pillow
+ python-pydantic
+ `(,python "tk")
+ python-sphinx-rtd-theme
+ python-traitlets
+ python-uvicorn))
+ (home-page "https://github.com/potassco/clingraph")
+ (synopsis "Clingo-based interactive UI")
+ (description "Clinguin is a graphical user interface toolkit for clingo,
+which allows user interfaces to be specified entirely as a logic program.")
+ (license license:expat)))
- branch clinguin created (now b346e01f61), guix-commits, 2023/04/02
- 03/15: gnu: python-pathspec: Move to (gnu packages python-build)., guix-commits, 2023/04/02
- 01/15: gnu: python-pathspec: Update to 0.11.0., guix-commits, 2023/04/02
- 07/15: gnu: python-starlette: Update to 0.25.0., guix-commits, 2023/04/02
- 09/15: gnu: python-pymysql: Update to 1.0.2., guix-commits, 2023/04/02
- 08/15: gnu: python-sqlalchemy: Update to 1.4.42., guix-commits, 2023/04/02
- 12/15: gnu: python-databases: Update to 0.7.0., guix-commits, 2023/04/02
- 06/15: gnu: python-hatchling: Move to (gnu packages build)., guix-commits, 2023/04/02
- 15/15: gnu: Add python-clinguin.,
guix-commits <=
- 14/15: gnu: Add python-fastapi., guix-commits, 2023/04/02
- 11/15: gnu: python-aiosqlite: Update to 0.18.0., guix-commits, 2023/04/02
- 02/15: gnu: python-pathspec: Revise description., guix-commits, 2023/04/02
- 04/15: gnu: python-pluggy: Move to (gnu packages python-build)., guix-commits, 2023/04/02
- 05/15: gnu: python-hatchling: Use upstream homepage., guix-commits, 2023/04/02
- 10/15: gnu: python-aiomysql: Update to 0.1.1., guix-commits, 2023/04/02
- 13/15: gnu: python-databases: Revise description., guix-commits, 2023/04/02