From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:51094) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gihYR-00065f-0G for guix-patches@gnu.org; Sun, 13 Jan 2019 10:20:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gihYQ-0008QS-2P for guix-patches@gnu.org; Sun, 13 Jan 2019 10:20:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:58683) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gihYP-0008QM-UZ for guix-patches@gnu.org; Sun, 13 Jan 2019 10:20:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gihYP-0007fs-Ng for guix-patches@gnu.org; Sun, 13 Jan 2019 10:20:01 -0500 Subject: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4. Resent-Message-ID: From: Amin Bandali References: <87wonaaitq.fsf@aminb.org> <20190112233038.GB16245@jasmine.lan> <87y37pqkfl.fsf@aminb.org> <20190113075225.GC2050@macbook41> Date: Sun, 13 Jan 2019 10:16:42 -0500 In-Reply-To: <20190113075225.GC2050@macbook41> (Efraim Flashner's message of "Sun, 13 Jan 2019 09:52:25 +0200") Message-ID: <87o98k4mg5.fsf@aminb.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: Efraim Flashner Cc: 34048@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Efraim, [...] > 'guix refresh -l z3' shows: > Building the following 2 packages would ensure 3 dependent packages are r= ebuilt: arachne-pnr@0.0-1-52e69ed20 cubicle@1.1.2 > TIL, thanks! > > 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. > Based on your suggestion, I tried bumping arachne-pnr from its current version in Guix from way back in 2016 to latest master from September 2018 (see the attached patch). The build phase fails, but it seems to be for another reason than its current failure. However, I=E2=80=99ve never used arachne-pnr and don=E2= =80=99t know much about it. I=E2=80=99ve Cc=E2=80=99ed Danny who originally added the package. Danny, = would you be able to have a look and see if anything can be done to fix arachne-pnr? The failure seems to be due to a missing txt file: ,---- | make: *** No rule to make target '/usr/local/share/icebox/chipdb-384.txt'= , needed by 'share/arachne-pnr/chipdb-384.bin'. Stop. `---- Best, amin --=-=-= Content-Type: text/x-patch; charset=utf-8 Content-Disposition: attachment; filename=0001-gnu-arachne-pnr-Update-to-840bdfdeb.patch Content-Transfer-Encoding: quoted-printable >From b2ad4c311a19d96110790b4e0537cfbcd1999a1a Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sun, 13 Jan 2019 10:07:11 -0500 Subject: [PATCH] gnu: arachne-pnr: Update to 840bdfdeb. * gnu/packages/fpga.scm (arachne-pnr): Update to 840bdfdeb. --- gnu/packages/fpga.scm | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 9ab2e3525..79966e266 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -2,6 +2,7 @@ ;;; Copyright =C2=A9 2016 Danny Milosavljevic ;;; Copyright =C2=A9 2016, 2017 Theodoros Foradis ;;; Copyright =C2=A9 2018 Tobias Geerinckx-Rice +;;; Copyright =C2=A9 2019 Amin Bandali ;;; ;;; This file is part of GNU Guix. ;;; @@ -256,7 +257,7 @@ Includes the actual FTDI connector.") (license license:isc)))) =20 (define-public arachne-pnr - (let ((commit "52e69ed207342710080d85c7c639480e74a021d7") + (let ((commit "840bdfdeb38809f9f6af4d89dd7b22959b176fdd") (revision "1")) (package (name "arachne-pnr") @@ -264,12 +265,12 @@ Includes the actual FTDI connector.") (source (origin (method git-fetch) (uri (git-reference - (url "https://github.com/cseed/arachne-pnr.git") + (url "https://github.com/YosysHQ/arachne-pnr.git") (commit commit))) (file-name (string-append name "-" version "-checkout")) (sha256 (base32 - "15bdw5yxj76lxrwksp6liwmr6l1x77isf4bs50ys9rsnmiwh8c3w")= ))) + "1dqvjvgvsridybishv4pnigw9gypxh7r7nrqp9z9qq92v7c5rxzl")= ))) (build-system gnu-build-system) (arguments `(#:test-target "test" @@ -294,7 +295,7 @@ Includes the actual FTDI connector.") ("yosys" ,yosys) ; for tests ("perl" ,perl) ; for shasum ("python-2" ,python-2))) ; for tests - (home-page "https://github.com/cseed/arachne-pnr") + (home-page "https://github.com/YosysHQ/arachne-pnr") (synopsis "Place-and-Route tool for FPGAs") (description "Arachne-PNR is a Place-and-Route Tool For FPGAs.") (license license:gpl2)))) --=20 2.20.1 --=-=-=--