diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-03-03 20:38:34 +0100 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-03-06 08:48:50 +0100 |
| commit | 82cf87a176af3198eedc606bbf64030986e8cef7 (patch) | |
| tree | 7a3e7720bdf39aa42ff4cbc45a7157f24b5331db /gnu/packages/electronics.scm | |
| parent | dda7aabfe7e99f937993f30cd6e320efc1daf642 (diff) | |
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
Diffstat (limited to 'gnu/packages/electronics.scm')
| -rw-r--r-- | gnu/packages/electronics.scm | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 356348eadc1..6f76cdc1fdb 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 |