From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:42287) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1giaZr-0005JI-BR for guix-patches@gnu.org; Sun, 13 Jan 2019 02:53:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1giaZq-0006FO-Ie for guix-patches@gnu.org; Sun, 13 Jan 2019 02:53:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:58039) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1giaZq-0006F9-Dq for guix-patches@gnu.org; Sun, 13 Jan 2019 02:53:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1giaZq-00039g-B5 for guix-patches@gnu.org; Sun, 13 Jan 2019 02:53:02 -0500 Subject: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4. Resent-Message-ID: Date: Sun, 13 Jan 2019 09:52:25 +0200 From: Efraim Flashner Message-ID: <20190113075225.GC2050@macbook41> References: <87wonaaitq.fsf@aminb.org> <20190112233038.GB16245@jasmine.lan> <87y37pqkfl.fsf@aminb.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="+nBD6E3TurpgldQp" Content-Disposition: inline In-Reply-To: <87y37pqkfl.fsf@aminb.org> 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: 34048@debbugs.gnu.org --+nBD6E3TurpgldQp Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sat, Jan 12, 2019 at 10:57:02PM -0500, Amin Bandali wrote: > Hi Leo, >=20 > Thanks for the reply. >=20 > [...] >=20 > > > > I tested this patch and found that arachne-pnr fails its test suite > > after upgrading z3. > > > > Can you take a look? > > >=20 > Do you have test suite logs from before and after applying the patch? > Running =E2=80=98guix build arachne-pnr=E2=80=99 seems to fail for me on = both =E2=80=98master=E2=80=99 > and on my local =E2=80=98z3-4.8.4=E2=80=99 branch with my patch applied, = so I=E2=80=99m not sure > if it=E2=80=99s my patch that=E2=80=99s broken its test suite. >=20 > Also, I=E2=80=99m a bit of Guix newbie, and I=E2=80=99m curious about if,= and how, you > test all the packages, only those that depend on Z3, or if you happened > to stumble upon arachne-pnr=E2=80=99s failure. >=20 'guix refresh -l z3' shows: Building the following 2 packages would ensure 3 dependent packages are reb= uilt: arachne-pnr@0.0-1-52e69ed20 cubicle@1.1.2 so in theory it's inexpensive to test the packages. Based on arachne-pnr's version number, I'd check if there's a later commit that doesn't fail the test suite. --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --+nBD6E3TurpgldQp Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAlw67jkACgkQQarn3Mo9 g1HF6A/+JZHJLS5Bg4u9gXbmnl1cIBIdtB+TYhFO3lWtKwGLREYvuERcN5704KsV fVEN8dH6wRr3trLhCviU+kUB7FU3nhlh83T3VrY0ah8WJa+xRMgxTK22hHCOUQA6 CXZS2RKvhPQZi4AFFIC5Ez2nFJztHy2b4BycQeZIfR0cu/aI2dfB2ZzCqfgR/IhE 0k3QH0tbodA1+wv6ehIo8ga8rhDwS2kDzM0SMNhTaKcrefvLO7Jc5TNr23ijfQVp TTg8dpc9ipLFM4DLIuhWlToKFanwYu39Hb+6lvLJmEUA4YZFCBGZt0RRV9KrOEy3 lEaSWua1e2Vb1lCZrzdKcFQ87brH7DLd5aUz4K4HMtIPr2jRdeW9fELuKpcNCGiT 7gbjXD/nO1gbsqnyVu6EaxVv+xl2Es00sGQjtPdVE0GsbRfxTZwATuxzUNeGMz71 5ROpCkbFR8rkS66zvoeIkl34xIT8SuFCC37UAVZ13vTBO6GoIHBmcVhoXm3vMq2e HwqEHw2nztB+a3N7/ZPc7ME69AzB3JS6K5JsNL21//Gj8NmI1kXuWZEb6KWPTKZQ GOeFzn6/E5/92mIvil0ZqLByackBnwz72Mt0sOmpK8VsZxP6r4T50gr/S1kpcXLY Y0JsP70ROsbDvJjNXHbjCY2CN/ZiCiITCFAhH/Vh4cll59znnvM= =kz3f -----END PGP SIGNATURE----- --+nBD6E3TurpgldQp--