From unknown Sun Aug 17 22:01:37 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#39754 <39754@debbugs.gnu.org> To: bug#39754 <39754@debbugs.gnu.org> Subject: Status: [PATCH] gnu: z3: Build the Python bindings Reply-To: bug#39754 <39754@debbugs.gnu.org> Date: Mon, 18 Aug 2025 05:01:37 +0000 retitle 39754 [PATCH] gnu: z3: Build the Python bindings reassign 39754 guix-patches submitter 39754 Jakub K=C4=85dzio=C5=82ka severity 39754 normal tag 39754 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 23 10:13:42 2020 Received: (at submit) by debbugs.gnu.org; 23 Feb 2020 15:13:42 +0000 Received: from localhost ([127.0.0.1]:51459 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j5sww-0006F0-L3 for submit@debbugs.gnu.org; Sun, 23 Feb 2020 10:13:42 -0500 Received: from lists.gnu.org ([209.51.188.17]:40905) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j5swv-0006Es-4X for submit@debbugs.gnu.org; Sun, 23 Feb 2020 10:13:41 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:53724) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j5swu-0008Co-4v for guix-patches@gnu.org; Sun, 23 Feb 2020 10:13:41 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,RCVD_IN_DNSWL_NONE autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j5swt-0005NL-32 for guix-patches@gnu.org; Sun, 23 Feb 2020 10:13:40 -0500 Received: from pat.zlotemysli.pl ([37.59.186.212]:51254) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1j5sws-0005Jo-QM for guix-patches@gnu.org; Sun, 23 Feb 2020 10:13:39 -0500 Received: (qmail 18112 invoked by uid 1009); 23 Feb 2020 16:13:36 +0100 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25731. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.009063 secs); 23 Feb 2020 15:13:36 -0000 Received: from unknown (HELO localhost.localdomain) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with AES256-SHA encrypted SMTP; 23 Feb 2020 16:13:36 +0100 From: =?UTF-8?q?Jakub=20K=C4=85dzio=C5=82ka?= To: guix-patches@gnu.org Subject: [PATCH] gnu: z3: Build the Python bindings Date: Sun, 23 Feb 2020 16:14:10 +0100 Message-Id: <20200223151410.30739-1-kuba@kadziolka.net> X-Mailer: git-send-email 2.25.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Qmailux-2.08st: added fake Content-Type header Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 37.59.186.212 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/maths.scm (z3)[arguments]: Add the --python and --pypkgdir flags to configure. --- gnu/packages/maths.scm | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 535ba02ea6..db2dc2a884 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4181,7 +4181,12 @@ as equations, scalars, vectors, and matrices.") "0hprcdwhhyjigmhhk6514m71bnmvqci9r8gglrqilgx424r6ff7q")))) (build-system gnu-build-system) (arguments - `(#:phases + `(#:imported-modules ((guix build python-build-system) + ,@%gnu-build-system-modules) + #:modules ((guix build python-build-system) + (guix build gnu-build-system) + (guix build utils)) + #:phases (modify-phases %standard-phases (add-after 'unpack 'fix-compatability ;; Versions after 4.8.3 have immintrin.h IFDEFed for Windows only. @@ -4198,7 +4203,9 @@ as equations, scalars, vectors, and matrices.") (replace 'configure (lambda* (#:key inputs outputs #:allow-other-keys) (invoke "./configure" - (string-append "--prefix=" (assoc-ref outputs "out"))))) + "--python" + (string-append "--prefix=" (assoc-ref outputs "out")) + (string-append "--pypkgdir=" (site-packages inputs outputs))))) (add-after 'configure 'change-directory (lambda _ (chdir "build") -- 2.25.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 23 11:32:17 2020 Received: (at 39754) by debbugs.gnu.org; 23 Feb 2020 16:32:17 +0000 Received: from localhost ([127.0.0.1]:51529 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j5uAz-0008Rt-5v for submit@debbugs.gnu.org; Sun, 23 Feb 2020 11:32:17 -0500 Received: from pat.zlotemysli.pl ([37.59.186.212]:33008) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j5uAw-0008Rk-Sq for 39754@debbugs.gnu.org; Sun, 23 Feb 2020 11:32:15 -0500 Received: (qmail 8871 invoked by uid 1009); 23 Feb 2020 17:32:12 +0100 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25731. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.009683 secs); 23 Feb 2020 16:32:12 -0000 Received: from unknown (HELO localhost.localdomain) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with AES256-SHA encrypted SMTP; 23 Feb 2020 17:32:12 +0100 From: =?UTF-8?q?Jakub=20K=C4=85dzio=C5=82ka?= To: 39754@debbugs.gnu.org Subject: [PATCH v2] gnu: z3: Build the Python bindings Date: Sun, 23 Feb 2020 17:32:45 +0100 Message-Id: <20200223163245.10253-1-kuba@kadziolka.net> X-Mailer: git-send-email 2.25.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 39754 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/maths.scm (z3)[arguments]: Add the --python and --pypkgdir flags to configure. --- 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. gnu/packages/maths.scm | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 535ba02ea6..cab84a520b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -33,6 +33,7 @@ ;;; Copyright © 2019 Nicolas Goaziou ;;; Copyright © 2019 Steve Sprang ;;; Copyright © 2019 Robert Smith +;;; Copyright © 2020 Jakub Kądziołka ;;; ;;; This file is part of GNU Guix. ;;; @@ -4181,7 +4182,12 @@ as equations, scalars, vectors, and matrices.") "0hprcdwhhyjigmhhk6514m71bnmvqci9r8gglrqilgx424r6ff7q")))) (build-system gnu-build-system) (arguments - `(#:phases + `(#:imported-modules ((guix build python-build-system) + ,@%gnu-build-system-modules) + #:modules (((guix build python-build-system) #:select (site-packages)) + (guix build gnu-build-system) + (guix build utils)) + #:phases (modify-phases %standard-phases (add-after 'unpack 'fix-compatability ;; Versions after 4.8.3 have immintrin.h IFDEFed for Windows only. @@ -4198,7 +4204,9 @@ as equations, scalars, vectors, and matrices.") (replace 'configure (lambda* (#:key inputs outputs #:allow-other-keys) (invoke "./configure" - (string-append "--prefix=" (assoc-ref outputs "out"))))) + "--python" + (string-append "--prefix=" (assoc-ref outputs "out")) + (string-append "--pypkgdir=" (site-packages inputs outputs))))) (add-after 'configure 'change-directory (lambda _ (chdir "build") -- 2.25.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 23 11:48:58 2020 Received: (at 39754) by debbugs.gnu.org; 23 Feb 2020 16:48:58 +0000 Received: from localhost ([127.0.0.1]:51544 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j5uR7-0000Rl-VY for submit@debbugs.gnu.org; Sun, 23 Feb 2020 11:48:58 -0500 Received: from eggs.gnu.org ([209.51.188.92]:46400) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j5uR5-0000RW-Ru for 39754@debbugs.gnu.org; Sun, 23 Feb 2020 11:48:56 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:38976) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1j5uR0-0000fR-Bx; Sun, 23 Feb 2020 11:48:50 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=47938 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1j5uQz-0006iE-Ro; Sun, 23 Feb 2020 11:48:50 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= Subject: Re: [bug#39754] [PATCH v2] gnu: z3: Build the Python bindings References: <20200223151410.30739-1-kuba@kadziolka.net> <20200223163245.10253-1-kuba@kadziolka.net> Date: Sun, 23 Feb 2020 17:48:48 +0100 In-Reply-To: <20200223163245.10253-1-kuba@kadziolka.net> ("Jakub \=\?utf-8\?B\?S8SFZHppb8WCa2EiJ3M\=\?\= message of "Sun, 23 Feb 2020 17:32:45 +0100") Message-ID: <871rqls0zz.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 39754 Cc: 39754@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Hi! Jakub K=C4=85dzio=C5=82ka 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=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 23 11:59:17 2020 Received: (at 39754-done) by debbugs.gnu.org; 23 Feb 2020 16:59:17 +0000 Received: from localhost ([127.0.0.1]:51559 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j5ub7-0000iz-4l for submit@debbugs.gnu.org; Sun, 23 Feb 2020 11:59:17 -0500 Received: from pat.zlotemysli.pl ([37.59.186.212]:51760) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j5ub5-0000iq-4p for 39754-done@debbugs.gnu.org; Sun, 23 Feb 2020 11:59:15 -0500 Received: (qmail 16237 invoked by uid 1009); 23 Feb 2020 17:59:13 +0100 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25731. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.022605 secs); 23 Feb 2020 16:59:13 -0000 Received: from unknown (HELO gravity) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with SMTP; 23 Feb 2020 17:59:13 +0100 Date: Sun, 23 Feb 2020 17:59:56 +0100 From: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#39754] [PATCH v2] gnu: z3: Build the Python bindings Message-ID: <20200223165956.fwhqktyn4z5exnrr@gravity> References: <20200223151410.30739-1-kuba@kadziolka.net> <20200223163245.10253-1-kuba@kadziolka.net> <871rqls0zz.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="2jxbn4smmlux4g5q" Content-Disposition: inline In-Reply-To: <871rqls0zz.fsf@gnu.org> X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 39754-done Cc: 39754-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --2jxbn4smmlux4g5q Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sun, Feb 23, 2020 at 05:48:48PM +0100, Ludovic Court=C3=A8s wrote: > Hi! >=20 > Jakub K=C4=85dzio=C5=82ka skribis: >=20 > > * gnu/packages/maths.scm (z3)[arguments]: Add the --python and > > --pypkgdir flags to configure. >=20 > Could you also mention the addition of #:modules and #:imported-modules? Sure thing! >=20 > > 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 decide= d not to > > do so as this change increases `guix size z3' from 116.4 MiB to 117.5 > > MiB, which is barely noticeable. >=20 > Makes sense to me. >=20 > LGTM, thanks! Thanks! Pushed: commit f6b4d395fd321d43fd548ba832c78320ac3f8d51 Author: Jakub K=C4=85dzio=C5=82ka Date: Sun Feb 23 16:11:30 2020 +0100 gnu: z3: Build the Python bindings * gnu/packages/maths.scm (z3)[arguments]: Add the --python and --pypkgdir flags to configure. To facilitate the latter, add (guix build python-build-system) to #:modules and #:imported-modules. --2jxbn4smmlux4g5q Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5Xa/ss9usT31cTO54xWnWEYTFWQFAl5Sr4sACgkQ4xWnWEYT FWQbqA//YVd0G1XBEXLDqF7UviGpPaBeNKUa7YtSWDfMlHldhUYKqcBhPu669zXL XYVeOoc01ButyGVjyCFmuqDE/lapsho0iyNjnoUZdMSu4iljPVz/CRbect+63W0F eneokeoiSs3BT/szymNDBLGj/bah17/LdDgGcLFFaj68vJy4+MnLs3outQBM6nje 4Yp3SFqMK5xJGqwWvx1TmChl8zOwFy/SpR6yc7yK9SAvXgVaSa944pS47ZFwM/5n 1b7jgxXarTy3Ja/9WbdQaN6Jldmb8t5RUYOzLMSEwW/1mqLeq6ONNPPf1GLWweso f6sYyoC4Ls/MD0WDWo9ecKLwSwy6zRFama6n1HFQsvc2NBbT71LOw0OBlyh4RN8p kjo+0okvfbyNBRZCu1KhSFaMEWI4lN9hxfFY8J/41rmcGOjK6fJoeSa4r4LuXY98 Ffb++aoo6IVaGG7uNwWgnj8KrJ9HnyQAJMNHMjwWtROZnsaHRzYl7pCO5GH8giac fkdM+Wi+K/ESNrF5BThvwJJSX57XWVr9we87q545XtSGxpotTZQmzqFUMFsh09SF UE+RkLsHXPITNAEip5QcewAtQQakfXekWwMzg+wE4yonCfn7hez0t4YeZqIJcH7m ZTDjxsrDkVuHDi+KDtEzWJqsdA42U2KrKhv6DubL7oWoAZU2PwE= =Ae/d -----END PGP SIGNATURE----- --2jxbn4smmlux4g5q-- From unknown Sun Aug 17 22:01:37 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 23 Mar 2020 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator