From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:53030) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gb7eb-00014R-NI for guix-patches@gnu.org; Sun, 23 Dec 2018 12:35:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gb7eY-0007YV-Tp for guix-patches@gnu.org; Sun, 23 Dec 2018 12:35:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:57961) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gb7eY-0007XT-BJ for guix-patches@gnu.org; Sun, 23 Dec 2018 12:35:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gb7eY-0006ZP-70 for guix-patches@gnu.org; Sun, 23 Dec 2018 12:35:02 -0500 Subject: bug#33764: [PATCH] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings. Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20181216040528.29880-1-bandali@gnu.org> <87bm5lv6tj.fsf@gnu.org> <20181217072921.GG3468@macbook41> <87efag6x3w.fsf@aminb.org> <87k1k2olth.fsf@gnu.org> <874lb6aa0g.fsf@fastmail.com> <87h8f6curk.fsf@aminb.org> <87d0ptfuzs.fsf@aminb.org> Date: Sun, 23 Dec 2018 18:33:59 +0100 In-Reply-To: <87d0ptfuzs.fsf@aminb.org> (Amin Bandali's message of "Sat, 22 Dec 2018 10:20:55 -0500") Message-ID: <878t0gi1vc.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Amin Bandali Cc: 33764-done@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Amin, Amin Bandali skribis: > From ad9433c11ebba672db3ca75689ebee92ea9da7de Mon Sep 17 00:00:00 2001 > From: Amin Bandali > Date: Sat, 22 Dec 2018 10:16:57 -0500 > Subject: [PATCH v3] gnu: z3: Update to 4.8.3 and provide python3 bindings > > * gnu/packages/maths.scm (z3): Update to 4.8.3. > [build-system]: Switch from cmake to make, and use the current > scripts/mk_make.py build script instead of the now-deprecated > contrib/cmake/bootstrap.py. Applied with the fixes below for =E2=80=98which=E2=80=99. Thank you! Ludo=E2=80=99. --=-=-= Content-Type: text/x-patch Content-Disposition: inline diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 1b6127e9f7..448d9e373b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -54,7 +54,7 @@ #:use-module (guix download) #:use-module (guix git-download) #:use-module (guix utils) - #:use-module (guix build utils) + #:use-module ((guix build utils) #:select (alist-replace)) #:use-module (guix build-system cmake) #:use-module (guix build-system gnu) #:use-module (guix build-system ocaml) @@ -64,6 +64,7 @@ #:use-module (gnu packages algebra) #:use-module (gnu packages audio) #:use-module (gnu packages autotools) + #:use-module (gnu packages base) #:use-module (gnu packages bison) #:use-module (gnu packages boost) #:use-module (gnu packages check) @@ -117,7 +118,6 @@ #:use-module (gnu packages tex) #:use-module (gnu packages tls) #:use-module (gnu packages version-control) - #:use-module (gnu packages which) #:use-module (gnu packages wxwidgets) #:use-module (gnu packages xml) #:use-module (srfi srfi-1)) --=-=-=--