From patchwork Fri May 2 14:52:04 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Cayetano Santos X-Patchwork-Id: 42251 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id D0F3E27BC4B; Fri, 2 May 2025 15:55:27 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 4E23527BC49 for ; Fri, 2 May 2025 15:55:27 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1uArnA-0002IH-5F; Fri, 02 May 2025 10:55:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArn8-0002GP-9N for guix-patches@gnu.org; Fri, 02 May 2025 10:55:06 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1uArn7-0002Dz-LS for guix-patches@gnu.org; Fri, 02 May 2025 10:55:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:From:To:Subject; bh=9k4HswwPW6tse0i22nyvFjyWuA//N4h+p8/AJK2JDuk=; b=EGshkwwRC70wEIWQQzL8SKR8p9wKR3MRbbOAG6pXQUuvBkjD8hVTPrjG9l2IxqljEwadaUqGoZ+nTgi8f0fqTgp9afh1qxPBP/ST8xDLxI2jwDHMMTIUBzS4mPcKblE/kOdeJnpQrn0kVVAtfP+Fd4udr42WxkVpWrxInTNOCE9yObO7KCmR7zxfJgWU6wpk09GQvwA+8IUxWnu7k68SGICMr5pFr46EupoQkPC6KwKttTgSm86GZ6Hj1ebqV9YjAYtK9dD73bn1s+RHdsOOxr1+uAGmlGGZmPXkXzBq4RxFms3ax4eDUI5XXD2pQLAl+0KZM26JAqzX70EHtHNDlA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1uArn4-0008I9-6O; Fri, 02 May 2025 10:55:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#78215] [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: csantosb@inventati.org, ekaitz@elenq.tech, gabriel@erlikon.ch, maxim.cournoyer@gmail.com, guix-patches@gnu.org Resent-Date: Fri, 02 May 2025 14:55:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 78215 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78215@debbugs.gnu.org Cc: Cayetano Santos , Cayetano Santos , Ekaitz Zarraga , Gabriel Wicki , Maxim Cournoyer X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Cayetano Santos , Ekaitz Zarraga , Gabriel Wicki , Maxim Cournoyer Received: via spool by submit@debbugs.gnu.org id=B.174619768831836 (code B ref -1); Fri, 02 May 2025 14:55:01 +0000 Received: (at submit) by debbugs.gnu.org; 2 May 2025 14:54:48 +0000 Received: from localhost ([127.0.0.1]:60319 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uArmp-0008HQ-SB for submit@debbugs.gnu.org; Fri, 02 May 2025 10:54:48 -0400 Received: from lists.gnu.org ([2001:470:142::17]:56634) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uArmm-0008H9-S6 for submit@debbugs.gnu.org; Fri, 02 May 2025 10:54:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArmg-0002DI-W2 for guix-patches@gnu.org; Fri, 02 May 2025 10:54:39 -0400 Received: from latitanza.investici.org ([82.94.249.234]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uArme-00028b-Ej for guix-patches@gnu.org; Fri, 02 May 2025 10:54:38 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1746197673; bh=9k4HswwPW6tse0i22nyvFjyWuA//N4h+p8/AJK2JDuk=; h=From:To:Cc:Subject:Date:From; b=bhp1K57KgRsJIFXYMbEywiLRS5tJvGYyFqtOPMD5tdVBW++rFIXMki9U7XF0sSV7K aYRLABPFgpjT431KlmG5Sp2Y4JnHiDczy9e9nuIQUjwJArYGBy4Kc47qeqJn86J9/1 v0Ctw3RMOSKCwsCUK73vSg/IEKund3rZ1N8Th8LI= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4Zpv8T4hfdzGp4Z; Fri, 2 May 2025 14:54:33 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4Zpv8T2KR8zGp44; Fri, 2 May 2025 14:54:33 +0000 (UTC) Date: Fri, 2 May 2025 16:52:04 +0200 Message-ID: X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 Received-SPF: pass client-ip=82.94.249.234; envelope-from=csantosb@inventati.org; helo=latitanza.investici.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Cayetano Santos X-ACL-Warn: , Cayetano Santos via Guix-patches X-Patchwork-Original-From: Cayetano Santos via Guix-patches via From: Cayetano Santos Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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(-) base-commit: 5d5c0dfcdaff9205b3fe8f7822f16ad55743df8a -- 2.49.0 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