diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-02-24 08:57:41 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-03-02 08:00:14 +0100 |
| commit | 54e122c13dc30ff820f9eb0f3e028c21ee1e911c (patch) | |
| tree | 2ae5fb456d8606066761e0ee16c66ac2bc036162 /gnu/packages | |
| parent | 9bb8f6bff25338c22781bf02132386fcd74a3b03 (diff) | |
| download | guix-54e122c13dc30ff820f9eb0f3e028c21ee1e911c.tar.gz guix-54e122c13dc30ff820f9eb0f3e028c21ee1e911c.zip | |
gnu: python-clingo-dl: Fix build.
* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
[native-inputs]: Add python-scikit-build.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/potassco.scm | 8 |
1 files changed, 7 insertions, 1 deletions
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 @@ Python code."))) (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 @@ Python code."))) (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 |