summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2023-03-18 10:01:48 +0100
committerRicardo Wurmus <rekado@elephly.net>2023-05-09 19:54:27 +0200
commit5b58608f566ccdacd4bfbef59afba1566c37a1f7 (patch)
treea6919730a93a1ca8412eec2a4cf82be353f246a9
parenta9bd722d671a2b6e2742c44334c6c83bc66fc6e9 (diff)
gnu: Add python-clinguin.
* gnu/packages/potassco.scm (python-clinguin): New variable.
-rw-r--r--gnu/packages/potassco.scm49
1 files changed, 48 insertions, 1 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 6e7855793f..03d243cdc7 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -36,7 +36,9 @@
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages python)
#:use-module (gnu packages python-build)
- #: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
@@ -382,3 +384,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)))