From fa1149d3fd8d2ce94968dd05d5dc08561cb283ed Mon Sep 17 00:00:00 2001 From: Cayetano Santos Date: Fri, 2 May 2025 16:52:04 +0200 Subject: [PATCH] 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 --- gnu/packages/electronics.scm | 12 +----------- 1 file changed, 1 insertion(+), 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