From patchwork Sun Jan 13 15:16:42 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Amin Bandali X-Patchwork-Id: 726 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 1B09B16A42; Sun, 13 Jan 2019 15:20:09 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id DE830169F7 for ; Sun, 13 Jan 2019 15:20:07 +0000 (GMT) Received: from localhost ([127.0.0.1]:34236 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gihYV-00068B-3H for patchwork@mira.cbaines.net; Sun, 13 Jan 2019 10:20:07 -0500 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 X-Loop: help-debbugs@gnu.org Subject: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4. Resent-From: Amin Bandali Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 13 Jan 2019 15:20:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34048 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Efraim Flashner Received: via spool by 34048-submit@debbugs.gnu.org id=B34048.154739274329431 (code B ref 34048); Sun, 13 Jan 2019 15:20:01 +0000 Received: (at 34048) by debbugs.gnu.org; 13 Jan 2019 15:19:03 +0000 Received: from localhost ([127.0.0.1]:57964 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gihXS-0007ec-HC for submit@debbugs.gnu.org; Sun, 13 Jan 2019 10:19:02 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40719) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gihXQ-0007e6-1t for 34048@debbugs.gnu.org; Sun, 13 Jan 2019 10:19:00 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:56255) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gihXJ-000896-BL; Sun, 13 Jan 2019 10:18:53 -0500 Received: from cpe00fc8d518353-cm00fc8d518350.cpe.net.cable.rogers.com ([99.228.29.221]:46594 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1gihXJ-0005c6-6z; Sun, 13 Jan 2019 10:18:53 -0500 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> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 34048@debbugs.gnu.org Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Hi Efraim, [...] > 'guix refresh -l z3' shows: > Building the following 2 packages would ensure 3 dependent packages are rebuilt: 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’ve never used arachne-pnr and don’t know much about it. I’ve Cc’ed 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 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 © 2016 Danny Milosavljevic ;;; Copyright © 2016, 2017 Theodoros Foradis ;;; Copyright © 2018 Tobias Geerinckx-Rice +;;; Copyright © 2019 Amin Bandali ;;; ;;; This file is part of GNU Guix. ;;; @@ -256,7 +257,7 @@ Includes the actual FTDI connector.") (license license:isc)))) (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)))) -- 2.20.1