[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#39754] [PATCH v2] gnu: z3: Build the Python bindings
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#39754] [PATCH v2] gnu: z3: Build the Python bindings |
|
Date: |
Sun, 23 Feb 2020 17:48:48 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi!
Jakub Kądziołka <address@hidden> skribis:
> * gnu/packages/maths.scm (z3)[arguments]: Add the --python and
> --pypkgdir flags to configure.
Could you also mention the addition of #:modules and #:imported-modules?
> Changed the #:modules argument to only import site-packages from (guix
> build python-build-system) as, as Ludo' pointed out on IRC, it also
> exports %standard-phases, which could conflict with (guix build
> gnu-build-system).
>
> I considered putting the Python bindings in a separate output; I decided not
> to
> do so as this change increases `guix size z3' from 116.4 MiB to 117.5
> MiB, which is barely noticeable.
Makes sense to me.
LGTM, thanks!
Ludo’.