This is an automated email from the git hooks/post-receive script.

guix_mirror_bot pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 82cf87a176 gnu: yosys: Enable python bindings.
82cf87a176 is described below

commit 82cf87a176af3198eedc606bbf64030986e8cef7
Author: Cayetano Santos <[email protected]>
AuthorDate: Tue Mar 3 20:38:34 2026 +0100

    gnu: yosys: Enable python bindings.
    
    * gnu/packages/electronics.scm (yosys)[inputs]: Add pybind11-3 and
    python-cxxheaderparser.
    [arguments]: Update #:test-target.
    
    Merges guix/guix!4643
    
    Change-Id: I787f5f090b02003ce0c0ad17a82b69629b707e2a
---
 gnu/packages/electronics.scm | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 356348eadc..6f76cdc1fd 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -4130,10 +4130,18 @@ parallel computing platforms.  It also supports serial 
execution.")
     (outputs '("out" "doc"))
     (arguments
      (list
-      #:test-target "test"
+      #:test-target "vanilla-test"  ;TODO: restore to "test" with next release
       #:make-flags #~(list (string-append "PREFIX=" #$output)
                            "ENABLE_EDITLINE=1"
                            "ENABLE_LIBYOSYS=1"
+                           "ENABLE_PYOSYS=1"
+                           (format #f "PYTHON_DESTDIR=~a"
+                                   (string-append
+                                    #$output "/lib/python"
+                                    #$(version-major+minor
+                                       (package-version python))
+                                    "/site-packages"))
+                           "PYOSYS_USE_UV=0"
                            (format #f "ABCEXTERNAL=~a/bin/abc"
                                    #$(this-package-input "abc-yosyshq")))
       #:phases
@@ -4214,8 +4222,10 @@ parallel computing platforms.  It also supports serial 
execution.")
                   editline
                   libffi
                   psmisc
+                  pybind11
                   python
                   python-click
+                  python-cxxheaderparser
                   readline
                   tcl
                   z3

Reply via email to