guix-commits
[Top][All Lists]
Advanced

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

04/71: gnu: clingo: Rename clasp to potassco-clasp.


From: guix-commits
Subject: 04/71: gnu: clingo: Rename clasp to potassco-clasp.
Date: Wed, 1 Jan 2025 20:28:14 -0500 (EST)

jgart pushed a commit to branch lisp-team-asdf-build-system-clasp
in repository guix.

commit 49fc1490554d04db7d6beda4a3c8841465149a61
Author: jgart <jgart@dismail.de>
AuthorDate: Tue Dec 31 02:00:12 2024 -0600

    gnu: clingo: Rename clasp to potassco-clasp.
    
    * gnu/packages/potassco.scm (clasp): Rename clasp to potassco-clasp.
    
    Change-Id: Icfe32aae31c3abe655a909d3edf28306eb51f293
---
 gnu/packages/potassco.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 09acf0f442..17b6b96fb3 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -203,7 +203,7 @@ satisfiability checking (SAT).")
                 (("find_package\\(Clasp") "find_package(clasp"))
               (rename-file "cmake/ClingoConfig.cmake.in"
                            "cmake/clingo-config.cmake.in"))))))
-    (inputs (list catch2-3 clasp libpotassco))
+    (inputs (list catch2-3 potassco-clasp libpotassco))
     (native-inputs (list bison re2c
                          mpark-variant
                          pkg-config



reply via email to

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