From d2b251a8571ec1e31145c10f1debc82f93c5df99 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Fri, 2 May 2025 16:22:55 +0200
Subject: [PATCH] gnu: yosys: Use abc-yosyshq.

* gnu/packages/fpga.scm (yosys)[inputs]: Replace abc by abc-yosyshq.

Change-Id: Id0a3f9c561f414261af2e7c7bd8cb82b6a0322cd
Signed-off-by: Andreas Enge <andreas@enge.fr>
---
 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 7c719738784ba18e1d6288c36106e962e3f46838..2298dde595a044522103f2470f67a2f47158b2f4 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -254,7 +254,7 @@ For synthesis, the compiler generates netlists in the desired format.")
                          pkg-config
                          python
                          tcl)) ;tclsh for the tests
-    (inputs (list abc
+    (inputs (list abc-yosyshq
                   bash-minimal
                   graphviz
                   gtkwave