GNU bug report logs - #69352
[PATCH 00/13] Update Clingo to 5.7.1, etc pp

Previous Next

Full log

Message #38 received at 69352 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 69352 <at> debbugs.gnu.org
Subject: [PATCH 09/13] gnu: python-clingo-dl: Fix build.
Date: Sat, 24 Feb 2024 08:57:41 +0100

* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
[native-inputs]: Add python-scikit-build.
---
 gnu/packages/potassco.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 16cff245e7..e1dbaefa98 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -411,7 +411,11 @@ (define-public python-clingo-dl
     (version (package-version clingo-dl))
     (arguments
      (list
-      #:configure-flags #~'("-DPYCLINGODL_ENABLE=pip")
+      #:configure-flags
+      #~(list "-DPYCLINGODL_ENABLE=pip"
+              (string-append "-DCMAKE_MODULE_PATH="
+                             #$(this-package-native-input "python-scikit-build")
+                             "/lib/cmake/modules"))
       #:tests? #f
       #:imported-modules  `(,@%cmake-build-system-modules
                             (guix build python-build-system))
@@ -433,6 +437,8 @@ (define-public python-clingo-dl
     (inputs (modify-inputs (package-inputs clingo-dl)
               (prepend python-wrapper)))
     (propagated-inputs (list python-clingo python-cffi))
+    (native-inputs (modify-inputs (package-native-inputs clingo-dl)
+                     (prepend python-scikit-build)))
     (synopsis "Python bindings for clingo-dl")
     (description "This package allows users to add the clingo-dl propagator
 as a theory to clingo from Python code.  It also supports running clingo-dl
-- 
2.41.0

Previous Next

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