summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2024-02-24 08:56:15 +0100
committerLiliana Marie Prikler <liliana.prikler@gmail.com>2024-03-02 08:00:14 +0100
commit9bb8f6bff25338c22781bf02132386fcd74a3b03 (patch)
tree99d0ded457d365b1ea7afa503c48c50efed89f39
parent0036a1eaa54233a00871592ff9489aceaea3fe00 (diff)
gnu: python-clingo: Fix build.
* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH.
-rw-r--r--gnu/packages/potassco.scm3
1 files changed, 3 insertions, 0 deletions
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 @@ Lua code.")))
(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 _ '())