[bug#78214,electronics-team] gnu: yosys: Use abc-yosyshq.

Message ID 179bba1c0f2c906477d159f8fc5d5a27c716144b.1746195775.git.csantosb@inventati.org
State New
Headers
Series [bug#78214,electronics-team] gnu: yosys: Use abc-yosyshq. |

Commit Message

Cayetano Santos May 2, 2025, 2:22 p.m. UTC
  * 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(-)


base-commit: 5d5c0dfcdaff9205b3fe8f7822f16ad55743df8a
--
2.49.0
  

Patch

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