diff options
Diffstat (limited to 'gnu')
| -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 _ '()) |