X-Loop: help-debbugs@HIDDEN
Subject: [bug#76348] [PATCH] gnu: yosys: Update to 0.50.
Resent-From: Cayetano Santos <csantosb@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 16 Feb 2025 18:46:02 +0000
Resent-Message-ID: <handler.76348.B.173973153024952 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 76348
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 76348 <at> debbugs.gnu.org
Cc: Cayetano Santos <csantosb@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.173973153024952
(code B ref -1); Sun, 16 Feb 2025 18:46:02 +0000
Received: (at submit) by debbugs.gnu.org; 16 Feb 2025 18:45:30 +0000
Received: from localhost ([127.0.0.1]:37312 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1tjjdu-0006UH-AD
for submit <at> debbugs.gnu.org; Sun, 16 Feb 2025 13:45:29 -0500
Received: from lists.gnu.org ([2001:470:142::17]:45856)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <csantosb@HIDDEN>)
id 1tjjdq-0006Sq-Jx
for submit <at> debbugs.gnu.org; Sun, 16 Feb 2025 13:45:24 -0500
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 <csantosb@HIDDEN>)
id 1tjjdk-0004Gr-D8
for guix-patches@HIDDEN; Sun, 16 Feb 2025 13:45:16 -0500
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 <csantosb@HIDDEN>)
id 1tjjdh-0000CM-HC
for guix-patches@HIDDEN; Sun, 16 Feb 2025 13:45:16 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org;
s=stigmate; t=1739731509;
bh=Lh3+tDncNaNxhJ+QpiXylWWUz5isIoiowVwflh/AHI4=;
h=From:To:Cc:Subject:Date:From;
b=A/0leL1qyxHQ62RdiVINBSoygGNfrrqUF/e3OCtGQWVOZzRmK3RN9BQySN3aLLDmd
jgEaTvxvV1BQcokEfg42oessFNWnh7GcEBFX9cQaxTPhgHQPXjyHWKSPg0ItagjdAE
TCfGk6WgT7j2e0Z3qEY6Ni9fdO7KlX41sECbnDD0=
Received: from mx1.investici.org (unknown [127.0.0.1])
by confino.investici.org (Postfix) with ESMTP id 4Ywvq93xDfz113p;
Sun, 16 Feb 2025 18:45:09 +0000 (UTC)
Received: from [93.190.126.19] (mx1.investici.org [93.190.126.19])
(Authenticated sender: cayetano.santos@HIDDEN) by localhost (Postfix)
with ESMTPSA id 4Ywvq56x2pz113l;
Sun, 16 Feb 2025 18:45:05 +0000 (UTC)
From: Cayetano Santos <csantosb@HIDDEN>
Date: Sun, 16 Feb 2025 19:43:28 +0100
Message-ID: <68b586f82fe57d95e8c22aa20a520ce6f5ab7da3.1739731408.git.csantosb@HIDDEN>
X-Mailer: git-send-email 2.48.1
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=93.190.126.19;
envelope-from=csantosb@HIDDEN; helo=confino.investici.org
X-Spam_score_int: -26
X-Spam_score: -2.7
X-Spam_bar: --
X-Spam_report: (-2.7 / 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,
URIBL_SBL_A=0.1 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.7 (+)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
the administrator of that system for details.
Content preview: * gnu/packages/fpga.scm (yosys): Update to 0.50. Change-Id:
I29afc237c3ef5ea327aefdba68f76335d617a251 --- I update to 0.50 and also apply
`guix style` to the package definition.
Content analysis details: (1.7 points, 10.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
-0.0 SPF_HELO_PASS SPF: HELO matches SPF record
0.9 SPF_FAIL SPF: sender does not match SPF record (fail)
[SPF failed: Please see http://www.openspf.org/Why?s=mfrom;
id=csantosb%40inventati.org; ip=2001%3A470%3A142%3A%3A17; r=debbugs.gnu.org]
0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL
blocklist [URIs: yosyshq.net]
0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL
blocklist [URIs: yosyshq.net]
-0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/,
no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org]
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 0.7 (/)
* gnu/packages/fpga.scm (yosys): Update to 0.50.
Change-Id: I29afc237c3ef5ea327aefdba68f76335d617a251
---
I update to 0.50 and also apply `guix style` to the package definition.
gnu/packages/fpga.scm | 86 ++++++++++++++++++++++---------------------
1 file changed, 45 insertions(+), 41 deletions(-)
diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index 1e4bbe2c68..1d2aa931b3 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -155,40 +155,45 @@ (define-public iverilog
(define-public yosys
(package
(name "yosys")
- (version "0.49")
- (source (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/YosysHQ/yosys")
- (commit (string-append "v" version))))
- (sha256
- (base32
- "0mw8csk91s72vl73a9ngc3rrwhr4rfr8fm0abfycj3wcy8n3zr57"))
- (file-name (git-file-name name version))))
+ (version "0.50")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/YosysHQ/yosys")
+ (commit (string-append "v" version))))
+ (sha256
+ (base32 "13fmxsg668fqggq4jyflhd5js2m8r52gb407mfqzcqzq59129gmz"))
+ (file-name (git-file-name name version))))
(build-system gnu-build-system)
(arguments
(list
#:test-target "test"
- #:make-flags #~(list (string-append "CC=" #$(cc-for-target))
- (string-append "CXX=" #$(cxx-for-target))
- (string-append "PREFIX=" #$output))
+ #:make-flags
+ #~(list (string-append "CC="
+ #$(cc-for-target))
+ (string-append "CXX="
+ #$(cxx-for-target))
+ (string-append "PREFIX="
+ #$output))
#:phases
#~(modify-phases %standard-phases
(add-before 'configure 'fix-paths
(lambda* (#:key inputs #:allow-other-keys)
(substitute* "backends/smt2/smtio.py"
(("\\['z3")
- (string-append "['" (search-input-file inputs "bin/z3"))))
+ (string-append "['"
+ (search-input-file inputs "bin/z3"))))
(substitute* "kernel/fstdata.cc"
(("vcd2fst")
(search-input-file inputs "bin/vcd2fst")))
(substitute* "kernel/driver.cc"
(("^#include \"libs/cxxopts/include/cxxopts.hpp\"")
"#include <cxxopts.hpp>"))
- (substitute* '("passes/cmds/show.cc"
- "passes/cmds/viz.cc")
+ (substitute* '("passes/cmds/show.cc" "passes/cmds/viz.cc")
(("exec xdot")
- (string-append "exec " (search-input-file inputs "bin/xdot")))
+ (string-append "exec "
+ (search-input-file inputs "bin/xdot")))
(("dot -")
(string-append (search-input-file inputs "bin/dot") " -"))
(("fuser")
@@ -213,30 +218,29 @@ (define-public yosys
(add-after 'install 'wrap
(lambda* (#:key inputs #:allow-other-keys)
(wrap-program (string-append #$output "/bin/yosys-witness")
- `("GUIX_PYTHONPATH" ":" prefix (,(getenv "GUIX_PYTHONPATH")))))))))
- (native-inputs
- (list bison
- cxxopts ;header-only library
- flex
- gawk ;for the tests and "make" progress pretty-printing
- iverilog ;for the tests
- pkg-config
- python
- tcl)) ;tclsh for the tests
- (inputs
- (list abc
- bash-minimal
- graphviz
- gtkwave
- libffi
- psmisc
- python
- python-click
- readline
- tcl
- xdot
- z3
- zlib))
+ `("GUIX_PYTHONPATH" ":" prefix
+ (,(getenv "GUIX_PYTHONPATH")))))))))
+ (native-inputs (list bison
+ cxxopts ;header-only library
+ flex
+ gawk ;for the tests and "make" progress pretty-printing
+ iverilog ;for the tests
+ pkg-config
+ python
+ tcl)) ;tclsh for the tests
+ (inputs (list abc
+ bash-minimal
+ graphviz
+ gtkwave
+ libffi
+ psmisc
+ python
+ python-click
+ readline
+ tcl
+ xdot
+ z3
+ zlib))
(home-page "https://yosyshq.net/yosys/")
(synopsis "FPGA Verilog RTL synthesizer")
(description "Yosys synthesizes Verilog-2005.")
base-commit: eba8c08b1bfc7ac333a0eda658a0be5acac7f151
--
2.48.1
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Cayetano Santos <csantosb@HIDDEN> Subject: bug#76348: Acknowledgement ([PATCH] gnu: yosys: Update to 0.50.) Message-ID: <handler.76348.B.173973153024952.ack <at> debbugs.gnu.org> References: <68b586f82fe57d95e8c22aa20a520ce6f5ab7da3.1739731408.git.csantosb@HIDDEN> X-Gnu-PR-Message: ack 76348 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 76348 <at> debbugs.gnu.org Date: Sun, 16 Feb 2025 18:46:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 76348 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 76348: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D76348 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
Received: (at control) by debbugs.gnu.org; 20 Feb 2025 13:28:50 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Feb 20 08:28:50 2025 Received: from localhost ([127.0.0.1]:34501 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1tl6bh-0005Ps-Ud for submit <at> debbugs.gnu.org; Thu, 20 Feb 2025 08:28:50 -0500 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:36555) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1tl6be-0005Oi-TU for control <at> debbugs.gnu.org; Thu, 20 Feb 2025 08:28:47 -0500 Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=ludo@HIDDEN; dmarc=fail (p=none dis=none) d=gnu.org X-IronPort-AV: E=Sophos;i="6.13,301,1732575600"; d="scan'208";a="109620481" Received: from unknown (HELO ribbon) ([193.50.110.84]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 20 Feb 2025 14:28:39 +0100 Date: Thu, 20 Feb 2025 14:28:38 +0100 Message-Id: <878qq0g2yh.fsf@HIDDEN> To: control <at> debbugs.gnu.org From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN> Subject: control message for bug #76348 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.3 (--) close 76348 quit
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.