guix_mirror_bot pushed a commit to branch master
in repository guix.
commit caf324b3a3cff871194c2d6c693e606660a3bd53
Author: Cayetano Santos <[email protected]>
AuthorDate: Fri Mar 6 15:46:55 2026 +0100
gnu: yosys: Add yosys-slang plugin.
* gnu/packages/electronics.scm (yosys)[native-inputs]: Add clang-minimal
and yosys-slang.
[arguments]: Add ’install-yosys-slang #:phase.
[license]: Expand to yosys-slang.
Change-Id: I27395559a998f8a38882c61e958140bffd848c7a
---
gnu/packages/electronics.scm | 39 +++++++++++++++++++++++++++++++++++++--
1 file changed, 37 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index da87893ca9..44f39cf65c 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -4270,6 +4270,21 @@ parallel computing platforms. It also supports serial
execution.")
(wrap-program (string-append #$output "/bin/yosys-witness")
`("GUIX_PYTHONPATH" ":" prefix
(,(getenv "GUIX_PYTHONPATH"))))))
+ ;; Building the yosys-slang plugin requires yosys; unbundling the
+ ;; package would produce a circular dependency.
+ (add-after 'install 'install-yosys-slang
+ (lambda* (#:key parallel-build? #:allow-other-keys)
+ (copy-recursively #$(this-package-native-input "yosys-slang")
+ "yosys-slang")
+ (setenv "PATH"
+ (string-append #$output "/bin:" (getenv "PATH")))
+ (with-directory-excursion "yosys-slang"
+ (invoke "make" "-j" (if parallel-build?
+ (number->string (parallel-job-count))
+ "1"))
+ (install-file
+ "build/slang.so"
+ (string-append #$output "/share/yosys/plugins")))))
(add-before 'build 'build-info
(lambda _
(substitute* '("docs/Makefile")
@@ -4284,6 +4299,7 @@ parallel computing platforms. It also supports serial
execution.")
#$output:doc "/share/info/yosyshqyosys-figures")))))))
(native-inputs
(list bison
+ cmake-minimal
cxxopts ;header-only library
flex
gawk ;for the tests and "make" progress pretty-printing
@@ -4294,7 +4310,19 @@ parallel computing platforms. It also supports serial
execution.")
pkg-config
python-sphinxcontrib-bibtex
python-sphinx-inline-tabs
- texinfo))
+ texinfo
+ (origin
+ (method git-fetch)
+ (uri
+ (git-reference
+ (url "https://github.com/povik/yosys-slang";)
+ ;; No tags, nor releases.
+ (commit "d82b0b163a725fc1a401fbb6b465cd862517ec1f")
+ (recursive? #t))) ;requires slang and fmt
+ (file-name "yosys-slang")
+ (sha256
+ (base32
+ "07h4qssphggd4mbn376vldqwzj1i16y1ix455xzr4lgx6s2q9ryg")))))
;; Optional dependencies increase considerably package closure.
;; - gtkwave: required only for vcd2fst binary, used by ‘sim’ command.
;; - graphviz, xdot: used by ‘show’ command to display schematics.
@@ -4319,6 +4347,13 @@ parallel computing platforms. It also supports serial
execution.")
currently has extensive Verilog-2005 support, and performs synthesis of VHDL
code using external plugins. It provides a basic set of synthesis algorithms
for various application domains, including FPGAs and ASICs.")
- (license license:isc)))
+ (license (list
+ ;; yosys-slang/src/initial_eval.cc
+ ;; yosys-slang/third_party/slang
+ license:expat
+ ;; yosys-slang/third_party/fmt
+ license:bsd-2 license:bsd-3 license:psfl
+ ;; yosys
+ license:isc))))
(define-deprecated-package yosys-clang yosys)
