Ludovic Courtès <ludo@HIDDEN>
to control <at> debbugs.gnu.org.
Full text available.
Received: (at submit) by debbugs.gnu.org; 16 Feb 2025 18:45:30 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Feb 16 13:45:30 2025
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>
To: guix-patches@HIDDEN
Subject: [PATCH] gnu: yosys: Update to 0.50.
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-Debbugs-Envelope-To: submit
Cc: Cayetano Santos <csantosb@HIDDEN>
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
Cayetano Santos <csantosb@HIDDEN>:guix-patches@HIDDEN.
Full text available.guix-patches@HIDDEN:bug#76348; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.