From 4642f3f3c546fcddf4d435d09a86a20a160f070b Mon Sep 17 00:00:00 2001
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Date: Sat, 18 Mar 2023 08:23:00 +0100
Subject: [PATCH] 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.
---
 gnu/packages/potassco.scm | 31 -------------------------------
 1 file changed, 31 deletions(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 0e6973d9806059fbee6e84f844f5969d84d668bb..22f70eba7febe9a87ccebb7050d9908ea1ce801c 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)))