diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-02-04 10:52:10 +0100 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-02-07 12:27:23 +0100 |
| commit | 605823232d8bec14bde2e84c02e8cef93f1ee2f9 (patch) | |
| tree | 1b0862e1a337825d6b9b9d7bda6b909826ad8bf6 /gnu/packages/electronics.scm | |
| parent | ec5fb6678f8268437b1940f7ed2f2b72d62ab4e0 (diff) | |
gnu: yosys: Build info documentation.
* gnu/packages/electronics.scm (yosys)[native-inputs]: Add texinfo,
python-sphinxcontrib-bibtex and python-sphinx-inline-tabs.
[arguments]: Add ’build-info #:phase.
Merges guix/guix!6118
Change-Id: I0055e165156c61eaa3c47e7d0da47e84f1016def
Diffstat (limited to 'gnu/packages/electronics.scm')
| -rw-r--r-- | gnu/packages/electronics.scm | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 4011097b49c..a080a2715c5 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -3833,15 +3833,30 @@ parallel computing platforms. It also supports serial execution.") (lambda* (#:key inputs #:allow-other-keys) (wrap-program (string-append #$output "/bin/yosys-witness") `("GUIX_PYTHONPATH" ":" prefix - (,(getenv "GUIX_PYTHONPATH"))))))))) + (,(getenv "GUIX_PYTHONPATH")))))) + (add-before 'build 'build-info + (lambda _ + (substitute* '("docs/Makefile") + (("SPHINXOPTS = -W --keep-going") + "SPHINXOPTS = --keep-going")) + (invoke "make" "-C" "docs" "info") + (install-file "docs/build/texinfo/yosyshqyosys.info" + (string-append #$output "/share/info")) + (copy-recursively + "docs/build/texinfo/yosyshqyosys-figures" + (string-append + #$output "/share/info/yosyshqyosys-figures"))))))) (native-inputs (list bison cxxopts ;header-only library flex gawk ;for the tests and "make" progress pretty-printing gtkwave ;for the tests iverilog ;for the tests + perl pkg-config - perl)) + python-sphinxcontrib-bibtex + python-sphinx-inline-tabs + texinfo)) ;; 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. |