From patchwork Fri May 2 10:27:03 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Cayetano Santos X-Patchwork-Id: 42244 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 18F4327BC4A; Fri, 2 May 2025 11:29:05 +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=unavailable 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 CF72E27BC49 for ; Fri, 2 May 2025 11:29:02 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1uAndG-0000Pt-3h; Fri, 02 May 2025 06:28:38 -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 1uAncu-0000A4-S5 for guix-patches@gnu.org; Fri, 02 May 2025 06:28:20 -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 1uAncj-00028D-BS for guix-patches@gnu.org; Fri, 02 May 2025 06:28:15 -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:In-Reply-To:References:Subject; bh=0ksJaFN8TnA9YUeI0lC5NHwRRLon63Mruv38Itofze8=; b=SE5IMRK21s0I6fLH6utZE4pah+FJbx01yLgzw3yTUrLbdAwupGnWm0BIQaUwyVbxojq6VMVm1879MFe0sTjjI/oGdhktTuXTGUy3P3W4q6eDqG02KkCz4Y648B/ztuiJJ1kCxednZhstZl/p89WOk9sZTKRCCp+TZ3oAydeHMzk1oA2Y9PPN3Iy3AHBCc1SbclpZFJzE9yA+wu99A8J1TdNtKLIr+4qb+jdonXlE50z1mTIBcZgvhnJ6Dcrkaf3yQ82A1Etl1G4u7aEMYkwaKpgNU+kZDW/LHmaD4D7J8OrS3fBHKAPflg2jbRVcmj+2x7Z5nZyJxexoxAyoNmgf0Q==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1uAncg-0006pS-D3; Fri, 02 May 2025 06:28:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#78059] [PATCH electronics-team v2] gnu: Add abc-yosyshq. References: <1f03c394302b446798f46d1e1495ca1367a7cdb4.1745585324.git.csantosb@inventati.org> In-Reply-To: <1f03c394302b446798f46d1e1495ca1367a7cdb4.1745585324.git.csantosb@inventati.org> 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 10:28:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78059 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78059@debbugs.gnu.org Cc: Cayetano Santos , Cayetano Santos , Ekaitz Zarraga , Gabriel Wicki , Maxim Cournoyer X-Debbugs-Original-Xcc: Cayetano Santos , Ekaitz Zarraga , Gabriel Wicki , Maxim Cournoyer Received: via spool by 78059-submit@debbugs.gnu.org id=B78059.174618165026196 (code B ref 78059); Fri, 02 May 2025 10:28:02 +0000 Received: (at 78059) by debbugs.gnu.org; 2 May 2025 10:27:30 +0000 Received: from localhost ([127.0.0.1]:56704 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uAnc9-0006oR-Sw for submit@debbugs.gnu.org; Fri, 02 May 2025 06:27:30 -0400 Received: from latitanza.investici.org ([2001:888:2000:56::19]:38435) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uAnc7-0006oE-2D for 78059@debbugs.gnu.org; Fri, 02 May 2025 06:27:28 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1746181644; bh=0ksJaFN8TnA9YUeI0lC5NHwRRLon63Mruv38Itofze8=; h=From:To:Cc:Subject:Date:From; b=N3Mv60bGdV+iE2J3BhaWUdUStty0BJy21Gz/mqtf7FyFt/ohvoT7uzOzTghlI1lT4 a6bUCX0hbLkreONVDX7YNaWrOl3yV9EnhbK8Q/KHKHMeR8zQFZOLu1IilKH5tOH+L9 W6+fyE0axOqvknpfGHM8DH8VENiMqpYDupRGcPFE= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4ZpnDD5GzjzGp50; Fri, 2 May 2025 10:27:24 +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 4ZpnDD38L1zGp4r; Fri, 2 May 2025 10:27:24 +0000 (UTC) Date: Fri, 2 May 2025 12:27:03 +0200 Message-ID: X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 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/fpga.scm (abc-yosyshq): New variable. Change-Id: I46649e3722ded3faf8c0993d7bebaf649e6297c6 --- gnu/packages/fpga.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) base-commit: c8efb51982c3099a2a14b8412b2e258c522e94c5 prerequisite-patch-id: 211bd0d1a9e6b293f491eced9e4af9843bf3b287 prerequisite-patch-id: 9883bd0d0c6755d6c4e3e3187d89aa072b0b97af prerequisite-patch-id: d1157e346fb2aabee7d7c169f44f4ab0bf005c4c prerequisite-patch-id: 43fd2d4ade95aebf0723d0e5015efd26533617d3 prerequisite-patch-id: 5c4cee47c975c28c734dde626519abc41933b195 prerequisite-patch-id: b18bb968707bfadfe1ecc1487c89dfd436479aee prerequisite-patch-id: e80367a498f5a20eb853973f611d2f69e5ebc5ee prerequisite-patch-id: c5fd8e7f7f96c87ea0e3827faffa07fa71304728 prerequisite-patch-id: cfc02bc484870a43f2c804fa849abbc3f0512d50 prerequisite-patch-id: 2e03948dc975c98730ac3814ed5702acca7a6fdf prerequisite-patch-id: 6cd3353026dafeb79460257c2e60703554a447c5 prerequisite-patch-id: 4111053abab6f41ebda2958d4d7d73ea16eb5283 prerequisite-patch-id: be434332d589b9075b1ac1367c3fd3aa98cf767e prerequisite-patch-id: eb1ad1c2b4bc1ae02ca7a1d1c4935d5c8e7387db prerequisite-patch-id: be03d391071cf7080a0bd0e306f5bca71171071b prerequisite-patch-id: 4174704d944afa67dd97270c34eda6e9e3af8a2b prerequisite-patch-id: 849103845d254fc50290a02e597e76977cc27bc9 prerequisite-patch-id: e34ea950e22895e60f0c6785a61a26c30f5b5b7c prerequisite-patch-id: 2901b0d5cc3c44b1a2cac1b0389cc905f552ae73 prerequisite-patch-id: 61f4d2df2b695a9a7bca127e8abb406f87f6bcbd prerequisite-patch-id: 1c0de8f100ef0d2b0c087cacf3e61d426d17355e prerequisite-patch-id: c0f22ac952516dc9c92767c1b1362d2c7ecde0f8 prerequisite-patch-id: e945542c050b7792775e301930ee4aca13f19ef5 prerequisite-patch-id: dd90058fdafed0cfabe398f2f4685a9c06f48102 prerequisite-patch-id: 55c89258f5b3aab45902904aab1198994012c546 prerequisite-patch-id: 6bae0c4b7d121accaf1b772fc8eef9011f6290cc prerequisite-patch-id: d8993f4ad264e89c3e3c8417b309798382532bec prerequisite-patch-id: 13e40673865c0f57e5b8be99047166ed82250e3f prerequisite-patch-id: 38c9ea11080cc107addf8eb43fed800fec7e650c prerequisite-patch-id: 43d07afd567e55d35643c2a59bfd27a88c5b8c33 prerequisite-patch-id: 3a87236411d1231ff88579e2049db124dfb13fbc prerequisite-patch-id: 0d323a6fdd6b3f4d7ff54eeb161d8d1aec5c3095 -- 2.49.0 diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 4fcd6a47a6..b00ce4480a 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -118,6 +118,27 @@ (define-public abc (license:non-copyleft "https://people.eecs.berkeley.edu/~alanmi/abc/copyright.htm"))))) +(define-public abc-yosyshq + (package + (inherit abc) + (name "abc-yosyshq") + (version "0.52") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/YosysHQ/abc/") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "15a7nyk8iqpadp326icnr7rn5pwq44b9lvajqc35hcsvixz4gxsa")))) + (home-page "https://github.com/YosysHQ/abc/") + (description "ABC is a program for sequential logic synthesis and +formal verification. This is the Yosyshq fork of ABC.") + (license + (license:non-copyleft + "https://github.com/YosysHQ/abc/blob/yosys-experimental/copyright.txt")))) + (define-public iverilog (package (name "iverilog")