From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:35607) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gkWoR-00010L-2z for guix-patches@gnu.org; Fri, 18 Jan 2019 11:16:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gkWoP-0006Jd-Fs for guix-patches@gnu.org; Fri, 18 Jan 2019 11:16:07 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37688) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gkWoP-0006JE-Bd for guix-patches@gnu.org; Fri, 18 Jan 2019 11:16:05 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gkWoP-0000Vy-62 for guix-patches@gnu.org; Fri, 18 Jan 2019 11:16:05 -0500 Subject: bug#34048: [PATCH] gnu: z3: Update to 4.8.4. Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Fri, 18 Jan 2019 11:14:52 -0500 From: Leo Famulari Message-ID: <20190118161452.GA14834@jasmine.lan> References: <87wonaaitq.fsf@aminb.org> <20190112233038.GB16245@jasmine.lan> <87y37pqkfl.fsf@aminb.org> <20190113075225.GC2050@macbook41> <87o98k4mg5.fsf@aminb.org> <20190115164803.20de38ef@scratchpost.org> <87va2m7fpf.fsf@aminb.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="J/dobhs11T7y2rNN" Content-Disposition: inline In-Reply-To: <87va2m7fpf.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-done@debbugs.gnu.org --J/dobhs11T7y2rNN Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Thu, Jan 17, 2019 at 11:27:40PM -0500, Amin Bandali wrote: > With Danny=E2=80=99s changes the build phase for arachne-pnr passes but t= he > check phase fails on one of the test cases, with or without my z3 4.8.4 > update patch. I=E2=80=99ve attached the corresponding logs: >=20 > - gwa4kkg00rzp96jkqv52fzz4g197q4-arachne-pnr-0.0-2-840bdfdeb.drv.bz2: > with z3 4.8.3 (without my patch) > - s1lqkz49nlp147m96bnn0d0yl21dgi-arachne-pnr-0.0-2-840bdfdeb.drv.bz2: > with z3 4.8.4 (with my patch) >=20 > A quick glance at the ediff of the two files, I didn=E2=80=99t see anythi= ng > suggesting that the failure may be due to updating z3 from 4.8.3 to > 4.8.4. It might be a good idea to apply the z3 update patch and try > resolving arachne-pnr=E2=80=99s test suite failure in a separate issue. Thanks for investigating. I've pushed the z3 update as 6654f8c1447d80c4899c4234306801407315b31f --J/dobhs11T7y2rNN Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEsFFZSPHn08G5gDigJkb6MLrKfwgFAlxB+3sACgkQJkb6MLrK fwiY1A/9EouakwH8D3mN86/GczzVPZ0y7tmQ6r+ry0rfZll4UHkV6AVbmOg+HOwQ RFcS+fIIthI3+3ILHiDYfg9Ih4ZznQLAKsBN2T1i91K8V7Lnh+XlRpPF/Y9Rfb+c +z9IBVHUqJYyrHklXFNWrzckv5XFXFeuyueZHfxlX/MmAnQ4wGkGJjG714vUmEcs kr3w5WVI4sxOaz/wtFjQRRUzYLHFNumDRZOV58PO+14Rx90WCSE9U0pGYKe3MZWD eT6+C/uq2fknit3Ql1Vhs7hC5sob3pTZNXhRjOxfOGHnweyZyKO70tWB2UwtPOKZ 340osdi8wUwPDQuQ1oZ2p6kcwdXv2QrEiNF8+msRXRBR6L+2nuhDJdtYhVLWB2H9 Mal2AD+7GjM8EQNobrsxOdpdzOEiqcsMIXT2CnDsA+TF2Rizg338OXyHTGVdEmJb iEmqaoM57cXBKMUZ9NChQy0e0CVG/HbkOmj9oOGDUIGgImS3dtWc7j1XO1c0dYGz /EZmYIzvxPBnENJTEtrSeSq6PqrZxd7hUHr3rdQhdoKMRkJxYMecxj6NFTZOQs3i YRxw6vAn+ujAcaQltl3hlyueOLtAZYZ9/yQqn4587CcH7kXrc9HFd+NSIEmT/Jv7 +JhIyx8zEw1XKaOxhCoJlDFBbZGsiJhzR2VuvILWf5/d/0iFmJo= =bOO/ -----END PGP SIGNATURE----- --J/dobhs11T7y2rNN--