Ludovic Courtès <ludo@HIDDEN>
to control <at> debbugs.gnu.org
.
Full text available.Received: (at submit) by debbugs.gnu.org; 26 Mar 2025 09:52:58 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed Mar 26 05:52:58 2025 Received: from localhost ([127.0.0.1]:41441 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1txNRR-0000kU-LQ for submit <at> debbugs.gnu.org; Wed, 26 Mar 2025 05:52:58 -0400 Received: from lists.gnu.org ([2001:470:142::17]:57122) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <csantosb@HIDDEN>) id 1txNQ2-0000ge-2J for submit <at> debbugs.gnu.org; Wed, 26 Mar 2025 05:51:30 -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 <csantosb@HIDDEN>) id 1txNPv-00032y-8z for guix-patches@HIDDEN; Wed, 26 Mar 2025 05:51:23 -0400 Received: from devianza.investici.org ([2c0f:f930:0:4::108]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <csantosb@HIDDEN>) id 1txNPq-0005IP-Ju for guix-patches@HIDDEN; Wed, 26 Mar 2025 05:51:22 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1742982665; bh=ndyG1i9ghV77uiAX3OJatvD7DY2d9rJwHSH2nHWllNE=; h=From:To:Cc:Subject:Date:From; b=J0wzAcThP86CDLL6ZmMjBSxa75xUbsGLjFlEGl4f2p9pN+n384NR2WDQmFYD1XBke XCUadv0OrM/0b8iPy91DDMg3bccYbLKKi5vB0cRWnzaxw9mxpmyd1BkTMylLuMbsu4 VccNyGx1J5e9U3+dDI/iyqRJ+fkDm5/vt5RJf03s= Received: from mx2.investici.org (unknown [127.0.0.1]) by devianza.investici.org (Postfix) with ESMTP id 4ZN29P4NcVz6v9g; Wed, 26 Mar 2025 09:51:05 +0000 (UTC) Received: from [198.167.222.108] (mx2.investici.org [198.167.222.108]) (Authenticated sender: cayetano.santos@HIDDEN) by localhost (Postfix) with ESMTPSA id 4ZN29P22j7z6v9G; Wed, 26 Mar 2025 09:51:05 +0000 (UTC) From: Cayetano Santos <csantosb@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH] gnu: verilator: Update to 5.034. Date: Wed, 26 Mar 2025 10:49:20 +0100 Message-ID: <c637ba01762b4f421f7653325186735b18ce7a57.1742982560.git.csantosb@HIDDEN> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2c0f:f930:0:4::108; envelope-from=csantosb@HIDDEN; helo=devianza.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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) 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.1 (/) * gnu/packages/fpga.scm (verilator): Update to 5.034. Change-Id: I7d61befc8f62736e445bcceca6bfb1e67ef0c186 --- - update - help2man is a native input, as for the linter - homepage - simplify description, too long gnu/packages/fpga.scm | 26 +++++++++----------------- 1 file changed, 9 insertions(+), 17 deletions(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 893e875276..829a16fe93 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -595,21 +595,22 @@ (define-public systemc (define-public verilator (package (name "verilator") - (version "5.028") + (version "5.034") (source (origin (method git-fetch) (uri (git-reference - (url "https://github.com/verilator/verilator") + (url "https://github.com/verilator/verilator/") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "1q9facgfdwwmf2ax65aznhqmk8qfisq9k5p8wrxrw6qqy38vl0k2")))) + (base32 "14alpa2z4fqbbsyx67dz50nqcvfis8pha84545h28xmglrzm13yn")))) (native-inputs (list autoconf automake bison flex + help2man gettext-minimal python ;; And a couple of extras for the test suite: @@ -617,7 +618,7 @@ (define-public verilator gdb/pinned which)) (inputs - (list help2man perl python systemc)) + (list perl python systemc)) (build-system gnu-build-system) (arguments '(#:phases @@ -636,22 +637,13 @@ (define-public verilator (lambda () (display "set auto-load safe-path /")))))) #:test-target "test")) - ;; #error "Something failed during ./configure as config_build.h is incomplete. - ;; Perhaps you used autoreconf, don't." -- so we won't. ^^ - (home-page "https://www.veripool.org/projects/verilator/") - (synopsis "Fast Verilog/SystemVerilog simulator") + (home-page "https://www.veripool.org/verilator/") + (synopsis "Verilog/SystemVerilog simulator") (description - "Verilator is invoked with parameters similar to GCC or Synopsys’s VCS. -It ``Verilates'' the specified Verilog or SystemVerilog code by reading it, + "Verilator transforms the specified Verilog or SystemVerilog code by reading it, performing lint checks, and optionally inserting assertion checks and coverage-analysis points. It outputs single- or multi-threaded @file{.cpp} -and @file{.h} files, the ``Verilated'' code. - -The user writes a little C++/SystemC wrapper file, which instantiates the -Verilated model of the user’s top level module. These C++/SystemC files are -then compiled by a C++ compiler (GCC/Clang/etc.). The resulting executable -performs the design simulation. Verilator also supports linking its generated -libraries, optionally encrypted, into other simulators.") +and @file{.h} files.") (license license:lgpl3))) (define-public fftgen base-commit: 24effa5fc281553a2062f0171cc07ea03db2ecf1 -- 2.49.0
Cayetano Santos <csantosb@HIDDEN>
:guix-patches@HIDDEN
.
Full text available.guix-patches@HIDDEN
:bug#77273
; Package guix-patches
.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.