guix_mirror_bot pushed a commit to branch master
in repository guix.

commit 2484844eac2a7f7677fcfc974b0aa3835fb18963
Author: Cayetano Santos <[email protected]>
AuthorDate: Fri Nov 28 15:29:54 2025 +0100

    gnu: Remove references to deprecated ‘yosys-clang’.
    
    * gnu/packages/electronics.scm (eqy)[native-inputs]: Use ‘yosys’ instead
    of ‘yosys-clang’.
    * gnu/packages/electronics.scm (python-amaranth)[native-inputs]: Use
    ‘yosys’ instead of ‘yosys-clang’.
    * gnu/packages/electronics.scm (sby)[inputs]: Use ‘yosys’ instead of
    ‘yosys-clang’.
    
    Change-Id: Iebfa1603fe6b490785d82ec5efcfee32b83e6855
---
 gnu/packages/electronics.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index b96937e71a..4e12e9be3e 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -381,7 +381,7 @@ individual low-level driver modules.")
           (add-after 'install 'python:wrap
             (@@ (guix build python-build-system) wrap)))))
     (native-inputs
-     (list clang python-minimal-wrapper python-sphinx texinfo yosys-clang))
+     (list clang python-minimal-wrapper python-sphinx texinfo yosys))
     (inputs
      (list python-click python-json5 readline))
     (home-page "https://yosyshq.readthedocs.io/projects/eqy/en/latest/";)
@@ -1766,7 +1766,7 @@ verification.")
            python-setuptools-scm
            sby
            yices
-           yosys-clang))
+           yosys))
     (propagated-inputs
      (list python-jinja2 python-jschon python-pyvcd))
     (home-page "https://amaranth-lang.org/docs/amaranth/latest/";)
@@ -2596,7 +2596,7 @@ them usable as simple logic analyzer and/or oscilloscope 
hardware.")
                   python-xmlschema
                   z3
                   yices
-                  yosys-clang))
+                  yosys))
     ;; TODO: see above build-info phase comment.
     ;; (native-inputs (list
     ;;                 python-sphinx python-sphinx-argparse texinfo))

Reply via email to