From: Liliana Marie Prikler <liliana.prikler@gmail.com>
To: 69352@debbugs.gnu.org
Subject: [bug#69352] [PATCH 09/13] gnu: python-clingo-dl: Fix build.
Date: Sat, 24 Feb 2024 08:57:41 +0100 [thread overview]
Message-ID: <674aae1064fe68d4715f5904e466778b46868b94.1708771294.git.liliana.prikler@gmail.com> (raw)
In-Reply-To: <cover.1708771294.git.liliana.prikler@gmail.com>
* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
[native-inputs]: Add python-scikit-build.
---
gnu/packages/potassco.scm | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
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 @@ (define-public python-clingo-dl
(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 @@ (define-public python-clingo-dl
(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
--
2.41.0
next prev parent reply other threads:[~2024-02-24 12:54 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-02-24 10:41 [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp Liliana Marie Prikler
2024-02-24 6:56 ` [bug#69352] [PATCH 01/13] gnu: Add wide-integer Liliana Marie Prikler
2024-02-24 6:57 ` [bug#69352] [PATCH 02/13] gnu: python-scikit-build: Install cmake modules Liliana Marie Prikler
2024-02-24 7:51 ` [bug#69352] [PATCH 03/13] gnu: libpotassco: Update to 0.0-2.69b677f Liliana Marie Prikler
2024-02-24 7:52 ` [bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10 Liliana Marie Prikler
2024-02-24 7:54 ` [bug#69352] [PATCH 05/13] gnu: clingo: Update to 5.7.1 Liliana Marie Prikler
2024-02-24 7:54 ` [bug#69352] [PATCH 06/13] gnu: clingo: Build from actual sources Liliana Marie Prikler
2024-02-24 7:55 ` [bug#69352] [PATCH 07/13] gnu: clingo-dl: Update to 1.5.0 Liliana Marie Prikler
2024-02-24 7:56 ` [bug#69352] [PATCH 08/13] gnu: python-clingo: Fix build Liliana Marie Prikler
2024-02-24 7:57 ` Liliana Marie Prikler [this message]
2024-02-24 7:58 ` [bug#69352] [PATCH 10/13] gnu: python-clorm: Update to 1.5.0 Liliana Marie Prikler
2024-02-24 7:59 ` [bug#69352] [PATCH 12/13] gnu: python-telingo: Update to 2.1.3 Liliana Marie Prikler
2024-02-24 8:01 ` [bug#69352] [PATCH 11/13] gnu: python-plingo: Update to 1.1.0 Liliana Marie Prikler
2024-02-24 9:17 ` [bug#69352] [PATCH OPTIONAL 13/13] gnu: python: python-scikit-build: Add more non-deterministic test failures Liliana Marie Prikler
2024-03-05 8:21 ` bug#69352: [PATCH 00/13] Update Clingo to 5.7.1, etc pp Efraim Flashner
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=674aae1064fe68d4715f5904e466778b46868b94.1708771294.git.liliana.prikler@gmail.com \
--to=liliana.prikler@gmail.com \
--cc=69352@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.