guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

11/11: gnu: Add python-clinguin.


From: guix-commits
Subject: 11/11: gnu: Add python-clinguin.
Date: Tue, 9 May 2023 13:57:10 -0400 (EDT)

rekado pushed a commit to branch master
in repository guix.

commit 5b58608f566ccdacd4bfbef59afba1566c37a1f7
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 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)))



reply via email to

[Prev in Thread] Current Thread [Next in Thread]