From patchwork Wed Mar 26 09:49:20 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Cayetano Santos X-Patchwork-Id: 40843 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 AD54727BBE9; Wed, 26 Mar 2025 09:53:19 +0000 (GMT) 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 723C427BBE2 for ; Wed, 26 Mar 2025 09:53:17 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1txNRZ-0004kH-IO; Wed, 26 Mar 2025 05:53:05 -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 1txNRX-0004fG-9X for guix-patches@gnu.org; Wed, 26 Mar 2025 05:53:03 -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 1txNRW-0005e2-Pm for guix-patches@gnu.org; Wed, 26 Mar 2025 05:53:03 -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=ndyG1i9ghV77uiAX3OJatvD7DY2d9rJwHSH2nHWllNE=; b=NMWWVfQIe0FLHVslfgnpx2vM6LXILnuStoqpYYrVrmVK/UQ0S6o9QB5cVyY8IuMQoQFLES0rDVxh/i2I+YN7vUpgqfnKlhxdPY+bnR3q2CYBib2csw9zeVQZBgo0hLaN2kkopwD+r2tvLtNCQcC/2WmBH7lW7tfHp1PvuhPx8PMaqjs+vwD1E6LWZbt/3x+EJAbFV2u2JP//d4+z3QVP0myDtRz46y/eQBADNpO29vlUCoQCKUEaoWhb1zm3GwpIwRfVelTugM6U+6DOa5S3+GL/rDFQy/vK0e8QgVgadiM1yZFi9Coy/EMuPUu+3EEEs5mFmuzKBEFxmJz3NkVj3Q==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1txNRW-0000ks-LV for guix-patches@gnu.org; Wed, 26 Mar 2025 05:53:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#77273] [PATCH] gnu: verilator: Update to 5.034. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 26 Mar 2025 09:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 77273 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 77273@debbugs.gnu.org Cc: Cayetano Santos X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17429827782888 (code B ref -1); Wed, 26 Mar 2025 09:53:02 +0000 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) Date: Wed, 26 Mar 2025 10:49:20 +0100 Message-ID: X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 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-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/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(-) base-commit: 24effa5fc281553a2062f0171cc07ea03db2ecf1 -- 2.49.0 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