From unknown Fri Jun 20 07:11:26 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#77273 <77273@debbugs.gnu.org> To: bug#77273 <77273@debbugs.gnu.org> Subject: Status: [PATCH] gnu: verilator: Update to 5.034. Reply-To: bug#77273 <77273@debbugs.gnu.org> Date: Fri, 20 Jun 2025 14:11:26 +0000 retitle 77273 [PATCH] gnu: verilator: Update to 5.034. reassign 77273 guix-patches submitter 77273 Cayetano Santos severity 77273 normal tag 77273 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 26 05:52:58 2025 Received: (at submit) by debbugs.gnu.org; 26 Mar 2025 09:52:58 +0000 Received: from localhost ([127.0.0.1]:41441 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1txNRR-0000kU-LQ for submit@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 ) id 1txNQ2-0000ge-2J for submit@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 ) id 1txNPv-00032y-8z for guix-patches@gnu.org; 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 ) id 1txNPq-0005IP-Ju for guix-patches@gnu.org; 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@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZN29P22j7z6v9G; Wed, 26 Mar 2025 09:51:05 +0000 (UTC) From: Cayetano Santos To: guix-patches@gnu.org Subject: [PATCH] gnu: verilator: Update to 5.034. Date: Wed, 26 Mar 2025 10:49:20 +0100 Message-ID: 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@inventati.org; 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 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 16 12:26:54 2025 Received: (at control) by debbugs.gnu.org; 16 Apr 2025 16:26:54 +0000 Received: from localhost ([127.0.0.1]:40838 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u55b9-0007WA-PP for submit@debbugs.gnu.org; Wed, 16 Apr 2025 12:26:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35036) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u55aB-0007Nb-Fx for control@debbugs.gnu.org; Wed, 16 Apr 2025 12:25:52 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1u55a6-0004Ra-4a for control@debbugs.gnu.org; Wed, 16 Apr 2025 12:25:46 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:Subject:From:To:Date:in-reply-to: references; bh=fJIVGUJ3SwHiiHkSlfojLNLIvsPZnZxDywwg3PZJxE4=; b=AmxKmbIS/mG3CK yFIHODNxSM4rzdx3u+DG/CDlIeF4L+eAfu4thjXP13bPaNuZXiptjv/Qt2MhEX6SLtYwqQu8b/D01 2gEV20ZSvB+se+FhoDKY8q78TqWPHLvR9YWWs/atbfVkm/qQW/go3GG6O3BwPXLp5tQ4NFizAFyDL tPLQyDw07L0YdIC4t0ZVtyf6qrfBXCN0Hb1TL/NY4C0VvJ+cBuV61/ssHI/s3t6uxNrond9rnPI1b JpKpyKBQRm9FPg7txDkfVvyb4Q0wg4szV7GH9i/ndZ4xrM7RDzvR/BRHWbFCmEa2ZZirRNvljtLkW 1EviQ+SbFuC6EUg6yAhA==; Date: Wed, 16 Apr 2025 18:20:20 +0200 Message-Id: <877c3k9iyj.fsf_-_@gnu.org> To: control@debbugs.gnu.org From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: control message for bug #77273 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) close 77273 quit From unknown Fri Jun 20 07:11:26 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 15 May 2025 11:24:11 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator