Subject: [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq.

From: Cayetano Santos <[email-masked]>
Date: Fri, 2 May 2025 16:52:04 +0200

* gnu/packages/electronics.scm (symbiyosis): Use abc-yosyshq.

Change-Id: I7cc78cbf8cff232996bdb243cbd2585b593b2c89
---

Symbiyosys, by YosysHQ, uses a fork of abc from Berkeley, that guix packages as abc-yosyshq. Using it fixes previous errors in some of the tests, and we can reactivate them.

[arguments] <#:phases> {disable-abc-tests}: Remove.
[inputs]: Replace abc by abc-yosyshq.

 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 d63511ff22..4df7064243 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -724,19 +724,9 @@ (define-public symbiyosys
               (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

base-commit: 5d5c0dfcdaff9205b3fe8f7822f16ad55743df8a
--
2.49.0