diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-03-18 10:01:48 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-05-09 19:54:27 +0200 |
| commit | 5b58608f566ccdacd4bfbef59afba1566c37a1f7 (patch) | |
| tree | a6919730a93a1ca8412eec2a4cf82be353f246a9 | |
| parent | a9bd722d671a2b6e2742c44334c6c83bc66fc6e9 (diff) | |
gnu: Add python-clinguin.
* gnu/packages/potassco.scm (python-clinguin): New variable.
| -rw-r--r-- | gnu/packages/potassco.scm | 49 |
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))) |