bartronx7/guix
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-01-28 03:45:07 -06:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: symbiyosys: Fix build.

Browse source 
* gnu/packages/electronics.scm (symbiyosys)[inputs]: Remove
git-minimal/pinned and yosys; add yosys-clang.
[arguments]<#:make-flags>: Use clang.
<#:phases>: Add build and delete git-init.
<#:parallel-tests?>: Disable.
[home-page]: Update.
[description]: Improve.
[synopsis]: Typo.

Change-Id: I7ce2ba0daf35b2c21df3c217ef3113e621d129cc
This commit is contained in:
Cayetano Santos 2025-10-20 00:38:03 +02:00
parent ef04d631bd
commit bd9a24ec18
No known key found for this signature in database
GPG key ID: BF5CDF4DF6BF6682
1 changed files with 6 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
gnu/packages/electronics.scm
View file

@ -2348,6 +2348,7 @@ them usable as simple logic analyzer and/or oscilloscope hardware.")
(build-system gnu-build-system)
(arguments
(list
#:parallel-tests? #f
#:test-target "test"
#:modules `((guix build gnu-build-system)
((guix build python-build-system) #:prefix python:)
@ -2363,10 +2364,7 @@ them usable as simple logic analyzer and/or oscilloscope hardware.")
;; (add-after 'install 'build-info
;; (lambda _
;; (invoke "make" "-C" "docs" "info")))
(add-before 'check 'git-init
(lambda _
(invoke "git" "init"))) ;check expects a git repo
(add-after 'git-init 'patch-/usr/bin/env
(add-after 'unpack 'patch-/usr/bin/env
(lambda* (#:key inputs #:allow-other-keys)
(substitute* "sbysrc/sby_core.py"
(("\"/usr/bin/env\", ")
@ -2378,20 +2376,19 @@ them usable as simple logic analyzer and/or oscilloscope hardware.")
(assoc-ref python:%standard-phases 'wrap)))))
(inputs (list abc-yosyshq
boolector
git-minimal/pinned
python
python-click
python-xmlschema
z3
yices
yosys))
yosys-clang))
;; TODO: see above build-info phase comment.
;; (native-inputs (list
;; python-sphinx python-sphinx-argparse texinfo))
(home-page "https://github.com/YosysHQ/sby/")
(synopsis "Formal hardware verification with yosys")
(home-page "https://yosyshq.readthedocs.io/projects/sby/en/latest/")
(synopsis "Formal hardware verification with Yosys")
(description
"SimbyYosys is a front-end program for yosys-based formal hardware
"code{Simbiyosys} is a front-end program for Yosys-based formal hardware
verification flows.")
(license license:isc)))