guix-commits
[Top][All Lists]
Advanced

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

372/416: gnu: Separate potassco packages into their own module.


From: guix-commits
Subject: 372/416: gnu: Separate potassco packages into their own module.
Date: Fri, 14 Apr 2023 15:26:28 -0400 (EDT)

apteryx pushed a commit to branch master
in repository guix.

commit 4642f3f3c546fcddf4d435d09a86a20a160f070b
Author: Liliana Marie Prikler <liliana.prikler@gmail.com>
AuthorDate: Sat Mar 18 08:23:00 2023 +0100

    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 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)))



reply via email to

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