diff options
author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-02-24 08:56:15 +0100 |
---|---|---|
committer | Josselin Poiret <dev@jpoiret.xyz> | 2024-03-09 15:57:38 +0100 |
commit | d42655ea4d3e0cdbde2bfd945d628e00d280cbab (patch) | |
tree | a13980f93b502a69e4a23c1c5b956297058a3ec5 /gnu/packages/potassco.scm | |
parent | 6886c82ac9a1a0c9ebebe27a83ae229843635422 (diff) |
gnu: python-clingo: Fix build.
* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
Diffstat (limited to 'gnu/packages/potassco.scm')
-rw-r--r-- | gnu/packages/potassco.scm | 3 |
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 _ '()) |