GNU bug report logs - #78214
[PATCH electronics-team] gnu: yosys: Use abc-yosyshq.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Andreas Enge <andreas <at> enge.fr>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#78214: closed ([PATCH electronics-team] gnu: yosys: Use
 abc-yosyshq.)
Date: Sat, 03 May 2025 16:09:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sat, 3 May 2025 18:08:17 +0200
with message-id <aBY_cTNSxWmjXb0N <at> jurong>
and subject line Re: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq.
has caused the debbugs.gnu.org bug report #78214,
regarding [PATCH electronics-team] gnu: yosys: Use abc-yosyshq.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
78214: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=78214
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Cayetano Santos <csantosb <at> inventati.org>
To: guix-patches <at> gnu.org
Cc: Cayetano Santos <csantosb <at> inventati.org>
Subject: [PATCH electronics-team] gnu: yosys: Use abc-yosyshq.
Date: Fri,  2 May 2025 16:22:55 +0200

* 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

[Message part 3 (message/rfc822, inline)]

From: Andreas Enge <andreas <at> enge.fr>
To: Cayetano Santos <csantosb <at> inventati.org>
Cc: 78215-done <at> debbugs.gnu.org, 78214-done <at> debbugs.gnu.org
Subject: Re: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq.
Date: Sat, 3 May 2025 18:08:17 +0200

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.