gnu: yosys: Update to 0.47.

* gnu/packages/fpga.scm (yosys): Update to 0.47.
[arguments]: Extend fix-paths phase.
[native-inputs]: Add cxxopts.

Change-Id: I14afed45261e7c4830fe91fe2ced8762eed54810
This commit is contained in:
Maxim Cournoyer 2024-11-12 14:03:19 +09:00
parent 4bfe5fc584
commit 2bad254d03
No known key found for this signature in database
GPG key ID: 1260E46482E63562

View file

@ -45,6 +45,7 @@
#:use-module (gnu packages check)
#:use-module (gnu packages cmake)
#:use-module (gnu packages compression)
#:use-module (gnu packages cpp)
#:use-module (gnu packages elf)
#:use-module (gnu packages flex)
#:use-module (gnu packages gawk)
@ -149,7 +150,7 @@ For synthesis, the compiler generates netlists in the desired format.")
(define-public yosys
(package
(name "yosys")
(version "0.46")
(version "0.47")
(source (origin
(method git-fetch)
(uri (git-reference
@ -157,7 +158,7 @@ For synthesis, the compiler generates netlists in the desired format.")
(commit version)))
(sha256
(base32
"1zj7vbpy6v1wn4p5cjs4hdjd467a1j1aj2qhs148bl2s6mzq3p86"))
"061sqb59vl61rshlwgv3n51x0fxd9x3lb6gfbdl7nzia8im7x0qm"))
(file-name (git-file-name name version))))
(build-system gnu-build-system)
(arguments
@ -178,6 +179,9 @@ For synthesis, the compiler generates netlists in the desired format.")
(search-input-file inputs "/bin/vcd2fst")))
(substitute* '("./passes/cmds/show.cc"
"./passes/cmds/viz.cc")
(substitute* "kernel/driver.cc"
(("^#include \"libs/cxxopts/include/cxxopts.hpp\"")
"#include <cxxopts.hpp>"))
(("exec xdot")
(string-append "exec " (search-input-file inputs
"/bin/xdot")))
@ -208,6 +212,7 @@ For synthesis, the compiler generates netlists in the desired format.")
`("GUIX_PYTHONPATH" ":" prefix (,(getenv "GUIX_PYTHONPATH")))))))))
(native-inputs
(list bison
cxxopts ;header-only library
flex
gawk ; for the tests and "make" progress pretty-printing
iverilog ; for the tests