diff options
author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-03-18 08:23:00 +0100 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-04-14 15:12:11 -0400 |
commit | 4642f3f3c546fcddf4d435d09a86a20a160f070b (patch) | |
tree | e4b42f5fabc456926a97cab514d22226d2daf221 /gnu | |
parent | c16251be058c221100a6acfd46e41929b613df9d (diff) | |
download | guix-patches-4642f3f3c546fcddf4d435d09a86a20a160f070b.tar guix-patches-4642f3f3c546fcddf4d435d09a86a20a160f070b.tar.gz |
gnu: Separate potassco packages into their own module.
* gnu/packages/potassco.scm: New file.
* gnu/packages/maths.scm (libpotassco, clasp, clingo, python-clingo)
(python-telingo): Move to potassco module. Adjust imports accordingly.
* gnu/packages/emacs-xyz.scm (emacs-pasp-mode): Move to potassco module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/packages/potassco.scm.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/potassco.scm | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 0e6973d980..22f70eba7f 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -31,7 +31,6 @@ #:use-module (guix build-system python) #:use-module (guix build-system pyproject) #:use-module (gnu packages check) - #:use-module (gnu packages graphviz) #:use-module (gnu packages libffi) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) @@ -344,33 +343,3 @@ into Python programs easier.") (description "This package provides a system to solve dynamic temporal logic programs based on clingo.") (license license:expat))) - -(define-public python-clingraph - (package - (name "python-clingraph") - (version "1.1.0") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/potassco/clingraph") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "0bdhli20nw9qnyxmpisgz7m97d7bwx6lbmxy9bgqvm6mipprnv3n")))) - (build-system pyproject-build-system) - (inputs (list dot2tex graphviz)) - (propagated-inputs (list python-clingo - python-clorm - python-graphviz - python-imageio - python-jinja2 - python-jsonschema - python-networkx)) - (native-inputs (list dot2tex graphviz python-pylint python-pytest)) - (home-page "https://github.com/potassco/clingraph") - (synopsis "Visualizer for graphs defined as logic programs") - (description - "This package provides a clingo-based visualizer for graphs defined -as logic programs.") - (license license:expat))) |