guix-patches
[Top][All Lists]
Advanced

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

[bug#69352] [PATCH 08/13] gnu: python-clingo: Fix build.


From: Liliana Marie Prikler
Subject: [bug#69352] [PATCH 08/13] gnu: python-clingo: Fix build.
Date: Sat, 24 Feb 2024 08:56:15 +0100

* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
---
 gnu/packages/potassco.scm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 5a59eeffef..16cff245e7 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -364,6 +364,9 @@ (define-public python-clingo
      (substitute-keyword-arguments (package-arguments clingo)
        ((#:configure-flags flags #~'())
         #~(cons* "-DCLINGO_BUILD_WITH_PYTHON=pip"
+                 (string-append "-DCMAKE_MODULE_PATH="
+                                #$(this-package-native-input 
"python-scikit-build")
+                                "/lib/cmake/modules")
                  "-DCLINGO_USE_LIB=yes"
                  #$flags))
        ((#:imported-modules _ '())
-- 
2.41.0






reply via email to

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