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

Previous Next

Package: guix-patches;

Reported by: Cayetano Santos <csantosb <at> inventati.org>

Date: Fri, 2 May 2025 14:25:02 UTC

Severity: normal

Tags: patch

Done: Andreas Enge <andreas <at> enge.fr>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Cayetano Santos <csantosb <at> inventati.org>
To: 78214 <at> debbugs.gnu.org
Cc: Cayetano Santos <csantosb <at> inventati.org>, Cayetano Santos <csantosb <at> inventati.org>, Ekaitz Zarraga <ekaitz <at> elenq.tech>, Gabriel Wicki <gabriel <at> erlikon.ch>, Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Subject: [bug#78214] [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
This bug report was last modified 15 days ago.

Previous Next

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