From unknown Sun Jun 22 00:42:45 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78214] [PATCH electronics-team] gnu: yosys: Use abc-yosyshq. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: csantosb@inventati.org, ekaitz@elenq.tech, gabriel@erlikon.ch, maxim.cournoyer@gmail.com, guix-patches@gnu.org Resent-Date: Fri, 02 May 2025 14:25:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 78214 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78214@debbugs.gnu.org Cc: Cayetano Santos , Cayetano Santos , Ekaitz Zarraga , Gabriel Wicki , Maxim Cournoyer X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Cayetano Santos , Ekaitz Zarraga , Gabriel Wicki , Maxim Cournoyer Received: via spool by submit@debbugs.gnu.org id=B.174619584324872 (code B ref -1); Fri, 02 May 2025 14:25:02 +0000 Received: (at submit) by debbugs.gnu.org; 2 May 2025 14:24:03 +0000 Received: from localhost ([127.0.0.1]:60097 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uArJ4-0006T3-4a for submit@debbugs.gnu.org; Fri, 02 May 2025 10:24:02 -0400 Received: from lists.gnu.org ([2001:470:142::17]:42352) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uArIy-0006SB-6d for submit@debbugs.gnu.org; Fri, 02 May 2025 10:23:59 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArIf-0003PM-DU for guix-patches@gnu.org; Fri, 02 May 2025 10:23:38 -0400 Received: from latitanza.investici.org ([82.94.249.234]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArIc-0008U2-OI for guix-patches@gnu.org; Fri, 02 May 2025 10:23:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1746195803; bh=uwQkrCKEwAaqf3BmxB66Q7kICSLNfAjNlylOMbY4DIc=; h=From:To:Cc:Subject:Date:From; b=ZM9uWlQ7waZzOnJEcfdrItl7hgwjEPvtMrU0jIMU+YUWiRsbtBfkioo+RnoJAjaDK qL42sPkBarvGSEBM0W2/0w+0+xsLAOuFmKk6LCha8o1JmtW1FJ50Xz6kz7k0Snex/T WKwBJA1OOKnUgCQw0pXjlz9zb3Iuoep/wzpWMzWg= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4ZptSW5qRLzGp4N; Fri, 2 May 2025 14:23:23 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZptSW33c0zGp4L; Fri, 2 May 2025 14:23:23 +0000 (UTC) From: Cayetano Santos Date: Fri, 2 May 2025 16:22:55 +0200 Message-ID: <179bba1c0f2c906477d159f8fc5d5a27c716144b.1746195775.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=82.94.249.234; envelope-from=csantosb@inventati.org; helo=latitanza.investici.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.1 (/) * gnu/packages/fpga.scm (yosys): Use abc-yosyshq. Change-Id: Id0a3f9c561f414261af2e7c7bd8cb82b6a0322cd --- Yosys, by YosysHQ, uses a fork of abc from Berkeley, that guix packages as abc-yosyshq. [inputs]: Replace abc y abc-yosyshq. gnu/packages/fpga.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 7c71973878..2298dde595 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -254,7 +254,7 @@ (define-public yosys pkg-config python tcl)) ;tclsh for the tests - (inputs (list abc + (inputs (list abc-yosyshq bash-minimal graphviz gtkwave base-commit: 5d5c0dfcdaff9205b3fe8f7822f16ad55743df8a -- 2.49.0 From unknown Sun Jun 22 00:42:45 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Cayetano Santos Subject: bug#78214: closed (Re: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq.) Message-ID: References: <179bba1c0f2c906477d159f8fc5d5a27c716144b.1746195775.git.csantosb@inventati.org> X-Gnu-PR-Message: they-closed 78214 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 78214@debbugs.gnu.org Date: Sat, 03 May 2025 16:09:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1746288542-29952-1" This is a multi-part message in MIME format... ------------=_1746288542-29952-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #78214: [PATCH electronics-team] gnu: yosys: Use abc-yosyshq. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 78214@debbugs.gnu.org. --=20 78214: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D78214 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1746288542-29952-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 78214-done) by debbugs.gnu.org; 3 May 2025 16:08:33 +0000 Received: from localhost ([127.0.0.1]:42649 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uBFPk-0007lo-Tr for submit@debbugs.gnu.org; Sat, 03 May 2025 12:08:33 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:46802) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uBFPh-0007lG-By; Sat, 03 May 2025 12:08:30 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id B6FFB319; Sat, 3 May 2025 18:08:21 +0200 (CEST) Authentication-Results: hera.aquilenet.fr; none X-Virus-Scanned: Debian amavis at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP id MHBBIYdM_txa; Sat, 3 May 2025 18:08:21 +0200 (CEST) Received: from jurong (176-179-191-150.abo.bbox.fr [176.179.191.150]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 17A7351; Sat, 3 May 2025 18:08:18 +0200 (CEST) Date: Sat, 3 May 2025 18:08:17 +0200 From: Andreas Enge To: Cayetano Santos Subject: Re: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq. Message-ID: References: <87r016nay8.fsf@inventati.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87r016nay8.fsf@inventati.org> X-Rspamd-Queue-Id: B6FFB319 X-Spamd-Result: default: False [5.41 / 15.00]; SPAM_FLAG(5.00)[]; NEURAL_SPAM(3.00)[1.000]; BAYES_HAM(-2.99)[99.94%]; MID_RHS_NOT_FQDN(0.50)[]; MIME_GOOD(-0.10)[text/plain]; TO_DN_SOME(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; RCPT_COUNT_THREE(0.00)[3]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_ALL(0.00)[]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; ARC_NA(0.00)[] X-Spamd-Bar: +++++ X-Rspamd-Action: greylist X-Rspamd-Server: hera X-Spam-Level: ***** X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78214-done Cc: 78215-done@debbugs.gnu.org, 78214-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello Cayetano, Am Fri, May 02, 2025 at 08:07:11PM +0200 schrieb Cayetano Santos: > You need to apply my previous patch before, #78214, to fix yosys (used > by symbiyosys) > Sorry, I though it was clear. I should have sent a single patch with the > two commits instead. maybe it would have been clear had I seen the first patch, but I just picked a random one from the list of untreated issues :) Both are pushed now, thanks! Andreas ------------=_1746288542-29952-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 2 May 2025 14:24:03 +0000 Received: from localhost ([127.0.0.1]:60097 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uArJ4-0006T3-4a for submit@debbugs.gnu.org; Fri, 02 May 2025 10:24:02 -0400 Received: from lists.gnu.org ([2001:470:142::17]:42352) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uArIy-0006SB-6d for submit@debbugs.gnu.org; Fri, 02 May 2025 10:23:59 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArIf-0003PM-DU for guix-patches@gnu.org; Fri, 02 May 2025 10:23:38 -0400 Received: from latitanza.investici.org ([82.94.249.234]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArIc-0008U2-OI for guix-patches@gnu.org; Fri, 02 May 2025 10:23:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1746195803; bh=uwQkrCKEwAaqf3BmxB66Q7kICSLNfAjNlylOMbY4DIc=; h=From:To:Cc:Subject:Date:From; b=ZM9uWlQ7waZzOnJEcfdrItl7hgwjEPvtMrU0jIMU+YUWiRsbtBfkioo+RnoJAjaDK qL42sPkBarvGSEBM0W2/0w+0+xsLAOuFmKk6LCha8o1JmtW1FJ50Xz6kz7k0Snex/T WKwBJA1OOKnUgCQw0pXjlz9zb3Iuoep/wzpWMzWg= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4ZptSW5qRLzGp4N; Fri, 2 May 2025 14:23:23 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZptSW33c0zGp4L; Fri, 2 May 2025 14:23:23 +0000 (UTC) From: Cayetano Santos To: guix-patches@gnu.org Subject: [PATCH electronics-team] gnu: yosys: Use abc-yosyshq. Date: Fri, 2 May 2025 16:22:55 +0200 Message-ID: <179bba1c0f2c906477d159f8fc5d5a27c716144b.1746195775.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 X-Debbugs-Cc: Cayetano Santos , Ekaitz Zarraga , Gabriel Wicki , Maxim Cournoyer Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=82.94.249.234; envelope-from=csantosb@inventati.org; helo=latitanza.investici.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit Cc: Cayetano Santos X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.1 (/) * gnu/packages/fpga.scm (yosys): Use abc-yosyshq. Change-Id: Id0a3f9c561f414261af2e7c7bd8cb82b6a0322cd --- Yosys, by YosysHQ, uses a fork of abc from Berkeley, that guix packages as abc-yosyshq. [inputs]: Replace abc y abc-yosyshq. gnu/packages/fpga.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 7c71973878..2298dde595 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -254,7 +254,7 @@ (define-public yosys pkg-config python tcl)) ;tclsh for the tests - (inputs (list abc + (inputs (list abc-yosyshq bash-minimal graphviz gtkwave base-commit: 5d5c0dfcdaff9205b3fe8f7822f16ad55743df8a -- 2.49.0 ------------=_1746288542-29952-1-- From unknown Sun Jun 22 00:42:45 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78214] [PATCH electronics-team] gnu: yosys: Use abc-yosyshq. Resent-From: Gabriel Wicki Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 04 May 2025 22:00:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78214 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Cayetano Santos Cc: 78214@debbugs.gnu.org, Maxim Cournoyer , Ekaitz Zarraga Received: via spool by 78214-submit@debbugs.gnu.org id=B78214.174639597028769 (code B ref 78214); Sun, 04 May 2025 22:00:04 +0000 Received: (at 78214) by debbugs.gnu.org; 4 May 2025 21:59:30 +0000 Received: from localhost ([127.0.0.1]:34244 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uBhMv-0007Tq-81 for submit@debbugs.gnu.org; Sun, 04 May 2025 17:59:29 -0400 Received: from cotopaxi.ee.ethz.ch ([129.132.148.196]:56355) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uBhMq-0007S9-3C for 78214@debbugs.gnu.org; Sun, 04 May 2025 17:59:26 -0400 Received: from silvi (212-51-128-25.fiber7.init7.net [212.51.128.25]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (prime256v1) server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) (Authenticated sender: gabriel) by cotopaxi.ee.ethz.ch (Postfix) with ESMTPSA id 747211FEA1; Sun, 4 May 2025 23:59:16 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=erlikon.ch; s=20250312; t=1746395956; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=Dgh+isT/jx882rYvUR1ak6Lx/SA4QisXMS5Ig2dModk=; b=T7GfKeVOxZt4Jo9wlJ+zVNDhqJzXBb+jX8r8ZUx3Z8uVWeAHdk7Wyj5Enpf7yVnOadAjXK zrJx2cFMsdXgghqVIhMM1tu3b3MrJYj676S0/e4oYmFKRmhjwPSm2W2/qjBVY1uORrQ8w5 P6VKBoHlGwW8+QEh0S7InYLj3IVQAcVHZq5TZfDgIIkME206E9w65LggT8sAhHzVwhnyOX 2yFNtYYEi0BMdDNVlGO6rNj6qV+VlqD7sr6z3XJ2SWhDaUhZM2hUSp35uB98+qWvkSTAZ/ 1hZxlITJZZMvvhXWmG6Abazgb6tlop+x6NNetfOKVu0V82ttokGsfQ58Im1l7qgjNmARwL oSQDEHV48hh4FKL9bo1Hvh/yNAKFSAw2hPPBWE04DCfJKRPqwtcPeJiMyKGPwmdeushdAf N3f0MKG6IpWiEJjB1BE8GhCMx+kTH7WPJh1Ifn5FekfXTH4L61SWZLK/yZ3CPbZqLsf4M7 E0att50OqHj7ca8SPXAXEYyCAQbooL9NLfdD1XT4AYnFu/PZoKAp2Yu0dKy2a8wFosrAg8 nmEGrd0Mn4f6G4yMfo4XAvkr1sPrvgvQ9zOXSlLrJpjZbBCLNSFs5CnVzo2ihd/kfB/ay0 X64XMnvnY0U9CEogkCpAP4jgTHQp2m3vyjHuG38giZqTqz0DAoldA= Date: Sun, 4 May 2025 23:59:13 +0200 From: Gabriel Wicki Message-ID: <62bkhi2cljapln3l6pv7mwewk4xsxf7wzncbbwnuy7sq4kqm6h@4c26ejcm4pxo> References: <179bba1c0f2c906477d159f8fc5d5a27c716144b.1746195775.git.csantosb@inventati.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <179bba1c0f2c906477d159f8fc5d5a27c716144b.1746195775.git.csantosb@inventati.org> X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) LGTM