diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2025-05-02 16:52:04 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-05-03 18:05:58 +0200 |
| commit | fa1149d3fd8d2ce94968dd05d5dc08561cb283ed (patch) | |
| tree | ee18a4bd02f3e7097dae2ed9ef9b9b02c5cec0a3 /gnu/packages/electronics.scm | |
| parent | d2b251a8571ec1e31145c10f1debc82f93c5df99 (diff) | |
gnu: symbiyosys: Use abc-yosyshq and enable tests.
* 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>
Diffstat (limited to 'gnu/packages/electronics.scm')
| -rw-r--r-- | gnu/packages/electronics.scm | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index d63511ff22d..4df7064243a 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -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 |