GNU bug report logs - #75251
[PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.

Previous Next

Full log

View this message in rfc822 format

From: jgart <jgart <at> dismail.de>
To: 75251 <at> debbugs.gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [bug#75251] [PATCH 04/71] gnu: clingo: Rename clasp to potassco-clasp.
Date: Wed,  1 Jan 2025 13:03:41 -0600

* 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 @@ (define-public clingo
                 (("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
-- 
2.47.1

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.