ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-11 13:49:23 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: python-clingo-dl: Fix build.

Browse source 
* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
[native-inputs]: Add python-scikit-build.
This commit is contained in:
Liliana Marie Prikler 2024-02-24 08:57:41 +01:00
parent 9bb8f6bff2
commit 54e122c13d
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gnu/packages/potassco.scm
View file

@ -411,7 +411,11 @@ (define-public python-clingo-dl
(version (package-version clingo-dl)) (version (package-version clingo-dl))
(arguments (arguments
(list (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 #:tests? #f
#:imported-modules `(,@%cmake-build-system-modules #:imported-modules `(,@%cmake-build-system-modules
(guix build python-build-system)) (guix build python-build-system))
@ -433,6 +437,8 @@ (define-public python-clingo-dl
(inputs (modify-inputs (package-inputs clingo-dl) (inputs (modify-inputs (package-inputs clingo-dl)
(prepend python-wrapper))) (prepend python-wrapper)))
(propagated-inputs (list python-clingo python-cffi)) (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") (synopsis "Python bindings for clingo-dl")
(description "This package allows users to add the clingo-dl propagator (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 as a theory to clingo from Python code. It also supports running clingo-dl