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

gnu: symbiyosys: Use abc-yosyshq and enable tests.

Browse source 
* gnu/packages/electronics.scm (symbiyosys)[inputs]: Replace abc by
abc-yosyshq.
[arguments]<#:phases>{disable-abc-tests}: Remove phase.

Change-Id: I7cc78cbf8cff232996bdb243cbd2585b593b2c89
Signed-off-by: Andreas Enge <andreas@enge.fr>
This commit is contained in:
Cayetano Santos 2025-05-02 16:52:04 +02:00 • committed by Andreas Enge
parent d2b251a857
commit fa1149d3fd
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3
1 changed files with 1 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gnu/packages/electronics.scm
View file

@ -724,19 +724,9 @@ them usable as simple logic analyzer and/or oscilloscope hardware.")
(substitute* "sbysrc/sby.py"
(("/usr/bin/env python")
(search-input-file inputs "bin/python3")))))
;; The tests related to abc (berkeley) binary used currently produce
;; errors. The abc-yosyshq fork would make the tests pass, but
;; cannot be packaged due to the fork's non-free licensing (see the
;; README, which specifies a non-commercial restriction).
(add-after 'patch-/usr/bin/env 'disable-abc-tests
(lambda _
(delete-file "tests/keepgoing/keepgoing_multi_step.sby")
(delete-file-recursively "docs/examples/demos")
(delete-file
"tests/regression/aim_vs_smt2_nonzero_start_offset.sby")))
(add-after 'install 'python:wrap
(assoc-ref python:%standard-phases 'wrap)))))
(inputs (list abc
(inputs (list abc-yosyshq
boolector
git-minimal/pinned
python