From 5b58608f566ccdacd4bfbef59afba1566c37a1f7 Mon Sep 17 00:00:00 2001
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Date: Sat, 18 Mar 2023 10:01:48 +0100
Subject: 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 6e7855793f..03d243cdc7 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -36,7 +36,9 @@ (define-module (gnu packages potassco)
   #: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 @@ (define-public python-clingraph
      "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)))
-- 
cgit v1.2.3