Subject: [PATCH electronics-team] gnu: yosys: Use abc-yosyshq.

From: Cayetano Santos <[email-masked]>
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