From patchwork Wed Apr 23 15:34:51 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Cayetano Santos X-Patchwork-Id: 41957 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 C4BEA27BC4A; Wed, 23 Apr 2025 16:36:53 +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 623F227BC4B for ; Wed, 23 Apr 2025 16:36:52 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1u7c90-0004jm-6P; Wed, 23 Apr 2025 11:36:14 -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 1u7c8v-0004j0-Ph for guix-patches@gnu.org; Wed, 23 Apr 2025 11:36:09 -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 1u7c8v-0003xl-EU for guix-patches@gnu.org; Wed, 23 Apr 2025 11:36:09 -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=Kje5gigkgpGUsTuI9ibp40UrabQhwhQYBDb6mbXrUBU=; b=vFryAjhvC193HnnjzmDDyj1tGf5I60HGRuiczfCU4jTY/y00vIl0/eSMvh9k6MCOROuhd5vFqVT+QNg2lxqx4lyg8byJoeAJgSIXYToJ/7ICOnkE2BMZHtBH0GRQBRcNCiDjZzix8MAykPb5/xANd8laqtBbr4BPu/pagrAx99QIX7RtD9QuBGobAfaNK5DPdD3E1LLp3xOli+pS4BFrKmIl4f189Up6hJxGGyUoQ3PTQseBIpj7VFNKozUWtlNnRb8lprGoSTUQMbwOd3uNFV3i6Vnz1YgAz9dgwybkQKoFy8pcxUK+POfm3x9WOUaNyv5ZAh1c7S3zQd7dqDehlg==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1u7c8t-0005M2-1m; Wed, 23 Apr 2025 11:36:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#78016] [PATCH electronics-team] gnu: Add symbiyosys. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: csantosb@inventati.org, ekaitz@elenq.tech, maxim.cournoyer@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 23 Apr 2025 15:36:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 78016 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78016@debbugs.gnu.org Cc: Cayetano Santos , Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer Received: via spool by submit@debbugs.gnu.org id=B.174542253920293 (code B ref -1); Wed, 23 Apr 2025 15:36:06 +0000 Received: (at submit) by debbugs.gnu.org; 23 Apr 2025 15:35:39 +0000 Received: from localhost ([127.0.0.1]:58370 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u7c8Q-0005HB-9X for submit@debbugs.gnu.org; Wed, 23 Apr 2025 11:35:39 -0400 Received: from lists.gnu.org ([2001:470:142::17]:32836) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u7c8J-0005Et-Hx for submit@debbugs.gnu.org; Wed, 23 Apr 2025 11:35:35 -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 1u7c8A-0004b4-Ni for guix-patches@gnu.org; Wed, 23 Apr 2025 11:35:22 -0400 Received: from confino.investici.org ([93.190.126.19]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1u7c87-0003mA-Uq for guix-patches@gnu.org; Wed, 23 Apr 2025 11:35:22 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745422516; bh=Kje5gigkgpGUsTuI9ibp40UrabQhwhQYBDb6mbXrUBU=; h=From:To:Cc:Subject:Date:From; b=jhx8Bz9JocffU1BuPYW2hS2bQ+HWc1oYNiq0b19+nyCQxj1rgaLBJ5hc1aZ+SMmIW LiVwBZXTbo5dJme4xS0x2iC1ifLiUvbmPjRyLSqI6z4TlP9GmRliA8vPYd6pBYh+QG 0E9vTBv+X2goQLUWA64aHHtkSaWGwV8IfKPA+Bs0= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4ZjNTc4wl1z1173; Wed, 23 Apr 2025 15:35:16 +0000 (UTC) Received: from [93.190.126.19] (mx1.investici.org [93.190.126.19]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZjNTc3psxz1172; Wed, 23 Apr 2025 15:35:14 +0000 (UTC) Date: Wed, 23 Apr 2025 17:34:51 +0200 Message-ID: <99dcdda869f525e044ff37098fb0ef95466c9389.1745422491.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 Received-SPF: pass client-ip=93.190.126.19; envelope-from=csantosb@inventati.org; helo=confino.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_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_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 (symbiyosys): New variable. Change-Id: I1a3758e4bf46fc6d57ef63a0c0f5f2e39a862c4d --- gnu/packages/electronics.scm | 65 +++++++++++++++++++++++++++++++++++- 1 file changed, 64 insertions(+), 1 deletion(-) base-commit: 699ce22ed812cf8cfcdd8d0341829f8fac2c864a diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 12e44f234a..7d0dfc3095 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -46,6 +46,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages documentation) #:use-module (gnu packages embedded) #:use-module (gnu packages fontutils) + #:use-module (gnu packages fpga) #:use-module (gnu packages gl) #:use-module (gnu packages glib) #:use-module (gnu packages graphviz) @@ -54,6 +55,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages libusb) #:use-module (gnu packages linux) #:use-module (gnu packages m4) + #:use-module (gnu packages maths) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) #:use-module (gnu packages python-build) @@ -67,7 +69,8 @@ (define-module (gnu packages electronics) #:use-module (gnu packages swig) #:use-module (gnu packages tls) #:use-module (gnu packages toolkits) - #:use-module (gnu packages version-control)) + #:use-module (gnu packages version-control) + #:use-module (gnu packages xml)) (define-public comedilib (package @@ -635,6 +638,66 @@ (define-public sigrok-firmware-fx2lafw them usable as simple logic analyzer and/or oscilloscope hardware.") (license license:gpl2+)))) +(define-public symbiyosys + (package + (name "symbiyosys") + (version "0.52") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/YosysHQ/sby/") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "06nhkmnl9ymp1wxapc0lnj82knj5q43x0s2rmfshwvs4cijzqm7f")))) + (build-system gnu-build-system) + (arguments + (list + #:test-target "test" + #:make-flags #~(list (string-append "PREFIX=" #$output)) + #:phases #~(modify-phases %standard-phases + (delete 'configure) + (delete 'build) + ;; info: requires furo-ys, not yet available + ;; (add-after 'install 'build-info + ;; (lambda _ + ;; (invoke "make" "-C" "docs" "info"))) + (add-before 'check 'create-git + (lambda _ + (invoke "git" "init"))) ;check expects a git repo + (add-after 'create-git 'patch-/usr/bin/env + (lambda _ + (substitute* "sbysrc/sby_core.py" + (("\"/usr/bin/env\", ") + "")) + (substitute* "sbysrc/sby.py" + (("/usr/bin/env python") + (which "python3"))))) + ;; remove tests which fail + (add-after 'patch-/usr/bin/env 'delete-check-failures + (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")))))) + (inputs (list yosys abc)) + (native-inputs (list + ;; python-sphinx python-sphinx-argparse texinfo ; info + python + python-click + python-xmlschema + git-minimal/pinned + boolector + yices + z3)) + (home-page "https://github.com/YosysHQ/sby/") + (synopsis "Formal verification with yosys") + (description + "SimbyYosys is a front-end program for yosys-based formal hardware verification +flows.") + (license license:isc))) + (define-public uhdm (package (name "uhdm")