From unknown Thu Jun 19 14:06:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78076] [PATCH electronics-team] gnu: nvc: Update to 1.16.0. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: csantosb@inventati.org, ekaitz@elenq.tech, maxim.cournoyer@gmail.com, guix-patches@gnu.org Resent-Date: Sat, 26 Apr 2025 16:35:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 78076 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78076@debbugs.gnu.org Cc: Cayetano Santos , Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer Received: via spool by submit@debbugs.gnu.org id=B.17456852797151 (code B ref -1); Sat, 26 Apr 2025 16:35:02 +0000 Received: (at submit) by debbugs.gnu.org; 26 Apr 2025 16:34:39 +0000 Received: from localhost ([127.0.0.1]:34408 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8iUB-0001rC-AP for submit@debbugs.gnu.org; Sat, 26 Apr 2025 12:34:39 -0400 Received: from lists.gnu.org ([2001:470:142::17]:41342) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8iU4-0001qR-CN for submit@debbugs.gnu.org; Sat, 26 Apr 2025 12:34:33 -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 1u8iTy-0007Fk-QW for guix-patches@gnu.org; Sat, 26 Apr 2025 12:34:27 -0400 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 ) id 1u8iTv-00047n-VG for guix-patches@gnu.org; Sat, 26 Apr 2025 12:34:26 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745685260; bh=UAC/2ckp9oJWf2TsbBvQkYkCzzZawM//5JCYMYhpqXE=; h=From:To:Cc:Subject:Date:From; b=i+NUEo/RbCOmUwKlKAShQiNQqSKmWDf6NlQmj8wt4esQCHwIA+g2CTbkVOmHJScCk Jp/zLNGkzoshiaSC8Q35F05OCD2I2nzXjPNLVnvZ93xj6Qx/Jh4NMkGZqIirTFsrb8 Bfs9peqoylOr0vSm5wXCLjXEIPH2w5mTkdrVc8fA= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4ZlFfN24t4z11FQ; Sat, 26 Apr 2025 16:34:20 +0000 (UTC) Received: from [93.190.126.19] (mx1.investici.org [93.190.126.19]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZlFfM728Dz113J; Sat, 26 Apr 2025 16:34:19 +0000 (UTC) From: Cayetano Santos Date: Sat, 26 Apr 2025 18:28:58 +0200 Message-ID: <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=93.190.126.19; envelope-from=csantosb@inventati.org; helo=confino.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, RCVD_IN_MSPIKE_H2=0.001, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, 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-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 (nvc): Update to 1.16.0. Change-Id: If781ed403cd769db85f8265fc242d0f1608d737e --- [arguments] <#:configure-flags> Remove --enable-{vhpi,gcov}. [native-inputs]: Add python and perl; sort. [inputs]: Remove elfutils; sort. Note that: --enable-gcov is intended for debug/development of the simulator itself and should not be enabled in release builds - VHPI is now always enabled at build time and the `--enable-vhpi` configure option has no effect. gnu/packages/fpga.scm | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index dfbe1a2894..2d3c265950 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -551,7 +551,7 @@ (define-public python-vunit (define-public nvc (package (name "nvc") - (version "1.15.2") + (version "1.16.0") (source (origin (method git-fetch) (uri (git-reference @@ -560,12 +560,11 @@ (define-public nvc (file-name (git-file-name name version)) (sha256 (base32 - "1r6ba5jw4ja0hv366686d8haakm57h3fl95w81hda8haq6g0dj0q")))) + "1hi1mqhjbj7r3wcdkjr6yazwpc7y9lqc0b8bj4ikfgdfsmakm3s4")))) (build-system gnu-build-system) (arguments (list #:out-of-source? #t - #:configure-flags #~(list "--enable-vhpi" "--enable-tcl" "--enable-gcov" - "--enable-llvm") + #:configure-flags #~(list "--enable-tcl" "--enable-llvm") #:phases #~(modify-phases %standard-phases (add-after 'unpack 'clean-up (lambda _ @@ -573,16 +572,17 @@ (define-public nvc (native-inputs (list automake autoconf + check ; for the tests flex gettext-minimal libtool pkg-config - which - check)) ; for the tests + python + ruby + which)) (inputs - (list elfutils + (list libffi llvm - libffi readline tcl `(,zstd "lib"))) base-commit: edeafb19c4a83eb81fe7e47a6a94f238db9cccf1 -- 2.49.0 From unknown Thu Jun 19 14:06:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78076] [PATCH v2] gnu: nvc: Update to 1.16.0. References: <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> In-Reply-To: <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: csantosb@inventati.org, ekaitz@elenq.tech, maxim.cournoyer@gmail.com, guix-patches@gnu.org Resent-Date: Sat, 26 Apr 2025 18:39:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78076 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78076@debbugs.gnu.org Cc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer X-Debbugs-Original-Cc: Cayetano Santos via Guix-patches via X-Debbugs-Original-Xcc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer Received: via spool by 78076-submit@debbugs.gnu.org id=B78076.17456927202568 (code B ref 78076); Sat, 26 Apr 2025 18:39:02 +0000 Received: (at 78076) by debbugs.gnu.org; 26 Apr 2025 18:38:40 +0000 Received: from localhost ([127.0.0.1]:34922 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8kQB-0000fL-Ut for submit@debbugs.gnu.org; Sat, 26 Apr 2025 14:38:40 -0400 Received: from latitanza.investici.org ([2001:888:2000:56::19]:65225) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8kQ7-0000f1-J4 for 78076@debbugs.gnu.org; Sat, 26 Apr 2025 14:38:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745692713; bh=03Bi56bRBVWGuAMe1uy83yTXZe3UCK73B1jK2skKMBw=; h=From:To:Cc:Subject:Date:From; b=CwTr+5NWHJaILJePKvTGzUHtjQ/nLUGOrUE0htzTZ5y0Z+NZFRUqpZnAAmJt3OFii bXctYx7y0qWyas7h0t5C3SEe/PyGtMITrjSzEx98BZpUhe1Z5xP8baSFHGXASQrRnB ApbqRtNoi0sqHkySjd4r1o6m2YoTyDZnul715ulw= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4ZlJPj5JhmzGp5F; Sat, 26 Apr 2025 18:38:33 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZlJPj3J3QzGp54; Sat, 26 Apr 2025 18:38:33 +0000 (UTC) From: Cayetano Santos Date: Sat, 26 Apr 2025 20:36:22 +0200 Message-ID: <9106a4983d1a09453896c37a239a3f17754b4c8d.1745692582.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) 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: -1.7 (-) From: Cayetano Santos via Guix-patches via * gnu/packages/fpga.scm (nvc): Update to 1.16.0. Change-Id: If781ed403cd769db85f8265fc242d0f1608d737e --- This v2 includes the missing module gnu/packages/ruby. [arguments] <#:configure-flags> Remove --enable-{vhpi,gcov}. [native-inputs]: Add python and perl; sort. [inputs]: Remove elfutils; sort. Note that: --enable-gcov is intended for debug/development of the simulator itself and should not be enabled in release builds - VHPI is now always enabled at build time and the `--enable-vhpi` configure option has no effect. gnu/packages/fpga.scm | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index dfbe1a2894..3872f16036 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -73,6 +73,7 @@ (define-module (gnu packages fpga) #:use-module (gnu packages python) #:use-module (gnu packages python-build) #:use-module (gnu packages python-xyz) + #:use-module (gnu packages ruby) #:use-module (gnu packages qt) #:use-module (gnu packages readline) #:use-module (gnu packages sphinx) @@ -551,7 +552,7 @@ (define-public python-vunit (define-public nvc (package (name "nvc") - (version "1.15.2") + (version "1.16.0") (source (origin (method git-fetch) (uri (git-reference @@ -560,12 +561,11 @@ (define-public nvc (file-name (git-file-name name version)) (sha256 (base32 - "1r6ba5jw4ja0hv366686d8haakm57h3fl95w81hda8haq6g0dj0q")))) + "1hi1mqhjbj7r3wcdkjr6yazwpc7y9lqc0b8bj4ikfgdfsmakm3s4")))) (build-system gnu-build-system) (arguments (list #:out-of-source? #t - #:configure-flags #~(list "--enable-vhpi" "--enable-tcl" "--enable-gcov" - "--enable-llvm") + #:configure-flags #~(list "--enable-tcl" "--enable-llvm") #:phases #~(modify-phases %standard-phases (add-after 'unpack 'clean-up (lambda _ @@ -573,16 +573,17 @@ (define-public nvc (native-inputs (list automake autoconf + check ; for the tests flex gettext-minimal libtool pkg-config - which - check)) ; for the tests + python + ruby + which)) (inputs - (list elfutils + (list libffi llvm - libffi readline tcl `(,zstd "lib"))) base-commit: edeafb19c4a83eb81fe7e47a6a94f238db9cccf1 -- 2.49.0 From unknown Thu Jun 19 14:06:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78076] [PATCH electronics-team v2] gnu: nvc: Update to 1.16.0. References: <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> In-Reply-To: <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: csantosb@inventati.org, ekaitz@elenq.tech, maxim.cournoyer@gmail.com, guix-patches@gnu.org Resent-Date: Sun, 27 Apr 2025 10:35:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78076 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78076@debbugs.gnu.org Cc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer X-Debbugs-Original-Cc: Cayetano Santos via Guix-patches via X-Debbugs-Original-Xcc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer Received: via spool by 78076-submit@debbugs.gnu.org id=B78076.174575006729451 (code B ref 78076); Sun, 27 Apr 2025 10:35:02 +0000 Received: (at 78076) by debbugs.gnu.org; 27 Apr 2025 10:34:27 +0000 Received: from localhost ([127.0.0.1]:39464 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8zL8-0007ew-MX for submit@debbugs.gnu.org; Sun, 27 Apr 2025 06:34:27 -0400 Received: from latitanza.investici.org ([82.94.249.234]:22365) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8zL5-0007em-RO for 78076@debbugs.gnu.org; Sun, 27 Apr 2025 06:34:24 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745750062; bh=SbcKDuQ+Xq6qPdCeHkyIJa6ygid/MGVdmyp5OrrOTwA=; h=From:To:Cc:Subject:Date:From; b=P2VeXS1P+JKY1O9m4j0mLl12v60k95Wq2fq/RG94sg6VdBIcOg+qCsGTremuugUgh mgMC53jnOIQVFw421aqKT8xTru5VuAYLyj8WNqgehFGwYxsMoqVFtZ+GyQ+2eefzuQ swWFA5gSQQ2mVtNlrI9Das7hS2m9ms1QJvse8QEo= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4ZljcZ5bYvzGp6Q; Sun, 27 Apr 2025 10:34:22 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZljcZ3qmlzGp6N; Sun, 27 Apr 2025 10:34:22 +0000 (UTC) From: Cayetano Santos Date: Sun, 27 Apr 2025 12:33:56 +0200 Message-ID: <0d162c6217e87f6e3c8cfdaa384f92f485d6acbd.1745750036.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) 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: -1.7 (-) From: Cayetano Santos via Guix-patches via * gnu/packages/fpga.scm (nvc): Update to 1.16.0. Change-Id: If781ed403cd769db85f8265fc242d0f1608d737e --- This v2 includes the missing module gnu/packages/ruby. [arguments] <#:configure-flags> Remove --enable-{vhpi,gcov}. [native-inputs]: Add python and perl; sort. [inputs]: Remove elfutils; sort. Note that: --enable-gcov is intended for debug/development of the simulator itself and should not be enabled in release builds - VHPI is now always enabled at build time and the `--enable-vhpi` configure option has no effect. gnu/packages/fpga.scm | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index dfbe1a2894..3872f16036 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -73,6 +73,7 @@ (define-module (gnu packages fpga) #:use-module (gnu packages python) #:use-module (gnu packages python-build) #:use-module (gnu packages python-xyz) + #:use-module (gnu packages ruby) #:use-module (gnu packages qt) #:use-module (gnu packages readline) #:use-module (gnu packages sphinx) @@ -551,7 +552,7 @@ (define-public python-vunit (define-public nvc (package (name "nvc") - (version "1.15.2") + (version "1.16.0") (source (origin (method git-fetch) (uri (git-reference @@ -560,12 +561,11 @@ (define-public nvc (file-name (git-file-name name version)) (sha256 (base32 - "1r6ba5jw4ja0hv366686d8haakm57h3fl95w81hda8haq6g0dj0q")))) + "1hi1mqhjbj7r3wcdkjr6yazwpc7y9lqc0b8bj4ikfgdfsmakm3s4")))) (build-system gnu-build-system) (arguments (list #:out-of-source? #t - #:configure-flags #~(list "--enable-vhpi" "--enable-tcl" "--enable-gcov" - "--enable-llvm") + #:configure-flags #~(list "--enable-tcl" "--enable-llvm") #:phases #~(modify-phases %standard-phases (add-after 'unpack 'clean-up (lambda _ @@ -573,16 +573,17 @@ (define-public nvc (native-inputs (list automake autoconf + check ; for the tests flex gettext-minimal libtool pkg-config - which - check)) ; for the tests + python + ruby + which)) (inputs - (list elfutils + (list libffi llvm - libffi readline tcl `(,zstd "lib"))) base-commit: 7e5913f90df916d8d9f5c509354d62324f54f481 -- 2.49.0 From unknown Thu Jun 19 14:06:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78076] [PATCH v2] gnu: nvc: Update to 1.16.0. Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 28 Apr 2025 07:24:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78076 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78076@debbugs.gnu.org Cc: 78076-done@debbugs.gnu.org, Maxim Cournoyer , Cayetano Santos , Ekaitz Zarraga X-Debbugs-Original-To: Cayetano Santos via Guix-patches via Received: via spool by submit@debbugs.gnu.org id=B.174582503631954 (code B ref -1); Mon, 28 Apr 2025 07:24:05 +0000 Received: (at submit) by debbugs.gnu.org; 28 Apr 2025 07:23:56 +0000 Received: from localhost ([127.0.0.1]:52181 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u9IqJ-0008JC-7V for submit@debbugs.gnu.org; Mon, 28 Apr 2025 03:23:56 -0400 Received: from lists.gnu.org ([2001:470:142::17]:56122) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u9IqH-0008HR-1z for submit@debbugs.gnu.org; Mon, 28 Apr 2025 03:23:53 -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 1u9Iq4-00048c-4L for guix-patches@gnu.org; Mon, 28 Apr 2025 03:23:41 -0400 Received: from mira.cbaines.net ([2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1u9Iq1-0007lV-W4 for guix-patches@gnu.org; Mon, 28 Apr 2025 03:23:39 -0400 Received: from localhost (unknown [IPv6:2a02:6b67:e390:8b00::1ce5]) by mira.cbaines.net (Postfix) with ESMTPSA id 26A9627BC4A; Mon, 28 Apr 2025 08:23:37 +0100 (BST) Received: from fang (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 3b2cd560; Mon, 28 Apr 2025 07:23:36 +0000 (UTC) From: Christopher Baines In-Reply-To: <9106a4983d1a09453896c37a239a3f17754b4c8d.1745692582.git.csantosb@inventati.org> (Cayetano Santos via Guix-patches via's message of "Sat, 26 Apr 2025 20:36:22 +0200") References: <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> <9106a4983d1a09453896c37a239a3f17754b4c8d.1745692582.git.csantosb@inventati.org> User-Agent: mu4e 1.12.9; emacs 29.4 Date: Mon, 28 Apr 2025 08:23:36 +0100 Message-ID: <87ikmobvgn.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27; envelope-from=mail@cbaines.net; helo=mira.cbaines.net X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, 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-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 (/) --=-=-= Content-Type: text/plain Cayetano Santos via Guix-patches via writes: > From: Cayetano Santos via Guix-patches via > > * gnu/packages/fpga.scm (nvc): Update to 1.16.0. > > Change-Id: If781ed403cd769db85f8265fc242d0f1608d737e > > --- > > This v2 includes the missing module gnu/packages/ruby. > > [arguments] <#:configure-flags> Remove --enable-{vhpi,gcov}. > [native-inputs]: Add python and perl; sort. > [inputs]: Remove elfutils; sort. > > Note that: > > --enable-gcov is intended for debug/development of the simulator itself and should not be enabled in release builds > > - VHPI is now always enabled at build time and the `--enable-vhpi` configure option has no effect. > > gnu/packages/fpga.scm | 17 +++++++++-------- > 1 file changed, 9 insertions(+), 8 deletions(-) Thanks for the patch, I've pushed this to master as f1ce653b13b300a8022da587541917941fdbbcaa. Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmgPLPhfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9Xf01RAAg14nxCrKp1kBL3Cx9xCFoxJPv127x1e6 KDGZUn02Fe5giH5UP3WSIwpqGP40Vd7xfrBwzHRL/V3qA4UL+ilFoCD/6sscyyFT VANenTgyh6hBEsykhrf42+oH83HmRUJtbLOlqkh2+mpTiNuzvGPeNNok7TZdOVVe 7LDlAO6u1O/e46tJR9yKeXOB1bGYmp9mHr3HMEin9KFsb9s+7n24zUmqoqeqUUZM zJHjg9Z7C/yxo+IrXdbK4eV7uUjVeOp3KuqnR6adl2i0msHo1Xd2iRV3Hs+EHRPP OajnKKhE2AuR9Rwkt2fFCEjCMLqjvGRxmyaO58cZhU1ZJjRPQaGwX10cPwKDtuL0 5yJw/4VICnyYdxKku+vuUNdPydBtsI42xOzn93ZAYnwEV1vUpoNHLVI2xFmaIyT7 vzvI49KwSgg/f2nOsF/xErgjSrf3QNLxPxPMshAnN2Bv+MRdkZI24dP4at7IIfTl ivuuH7tgbtOZXrufxzXXzWmCZojIrJl4THZfTgP8Q0M2X4kAPz297bV2vVrC1R6d CGur9ZDA63Oc8NMtPbQ2yDA+SxNwViZ3US/LggvdyNrGr8S3r2FP+VtN17MN4RAY CmbLYiMtD7mtITWDTeLMaaNWtYkb7Y9rh/dWecVW0il3mioEVHCJbDkEnWuq8+k9 GXrfjYKLNWA= =4Bz8 -----END PGP SIGNATURE----- --=-=-=-- From unknown Thu Jun 19 14:06:19 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Cayetano Santos Subject: bug#78076: closed (Re: [bug#78076] [PATCH v2] gnu: nvc: Update to 1.16.0.) Message-ID: References: <87ikmobvgn.fsf@cbaines.net> <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> X-Gnu-PR-Message: they-closed 78076 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 78076@debbugs.gnu.org Date: Mon, 28 Apr 2025 07:24:06 +0000 Content-Type: multipart/mixed; boundary="----------=_1745825046-32031-1" This is a multi-part message in MIME format... ------------=_1745825046-32031-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #78076: [PATCH electronics-team] gnu: nvc: Update to 1.16.0. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 78076@debbugs.gnu.org. --=20 78076: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D78076 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1745825046-32031-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 78076-done) by debbugs.gnu.org; 28 Apr 2025 07:23:42 +0000 Received: from localhost ([127.0.0.1]:52174 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u9Iq5-0008HP-Fk for submit@debbugs.gnu.org; Mon, 28 Apr 2025 03:23:41 -0400 Received: from mira.cbaines.net ([2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27]:45647) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u9Iq1-0008Gc-H0 for 78076-done@debbugs.gnu.org; Mon, 28 Apr 2025 03:23:38 -0400 Received: from localhost (unknown [IPv6:2a02:6b67:e390:8b00::1ce5]) by mira.cbaines.net (Postfix) with ESMTPSA id 26A9627BC4A; Mon, 28 Apr 2025 08:23:37 +0100 (BST) Received: from fang (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 3b2cd560; Mon, 28 Apr 2025 07:23:36 +0000 (UTC) From: Christopher Baines To: Cayetano Santos via Guix-patches via Subject: Re: [bug#78076] [PATCH v2] gnu: nvc: Update to 1.16.0. In-Reply-To: <9106a4983d1a09453896c37a239a3f17754b4c8d.1745692582.git.csantosb@inventati.org> (Cayetano Santos via Guix-patches via's message of "Sat, 26 Apr 2025 20:36:22 +0200") References: <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> <9106a4983d1a09453896c37a239a3f17754b4c8d.1745692582.git.csantosb@inventati.org> User-Agent: mu4e 1.12.9; emacs 29.4 Date: Mon, 28 Apr 2025 08:23:36 +0100 Message-ID: <87ikmobvgn.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 78076-done Cc: 78076-done@debbugs.gnu.org, Maxim Cournoyer , Cayetano Santos , Ekaitz Zarraga 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: -1.0 (-) --=-=-= Content-Type: text/plain Cayetano Santos via Guix-patches via writes: > From: Cayetano Santos via Guix-patches via > > * gnu/packages/fpga.scm (nvc): Update to 1.16.0. > > Change-Id: If781ed403cd769db85f8265fc242d0f1608d737e > > --- > > This v2 includes the missing module gnu/packages/ruby. > > [arguments] <#:configure-flags> Remove --enable-{vhpi,gcov}. > [native-inputs]: Add python and perl; sort. > [inputs]: Remove elfutils; sort. > > Note that: > > --enable-gcov is intended for debug/development of the simulator itself and should not be enabled in release builds > > - VHPI is now always enabled at build time and the `--enable-vhpi` configure option has no effect. > > gnu/packages/fpga.scm | 17 +++++++++-------- > 1 file changed, 9 insertions(+), 8 deletions(-) Thanks for the patch, I've pushed this to master as f1ce653b13b300a8022da587541917941fdbbcaa. Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmgPLPhfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9Xf01RAAg14nxCrKp1kBL3Cx9xCFoxJPv127x1e6 KDGZUn02Fe5giH5UP3WSIwpqGP40Vd7xfrBwzHRL/V3qA4UL+ilFoCD/6sscyyFT VANenTgyh6hBEsykhrf42+oH83HmRUJtbLOlqkh2+mpTiNuzvGPeNNok7TZdOVVe 7LDlAO6u1O/e46tJR9yKeXOB1bGYmp9mHr3HMEin9KFsb9s+7n24zUmqoqeqUUZM zJHjg9Z7C/yxo+IrXdbK4eV7uUjVeOp3KuqnR6adl2i0msHo1Xd2iRV3Hs+EHRPP OajnKKhE2AuR9Rwkt2fFCEjCMLqjvGRxmyaO58cZhU1ZJjRPQaGwX10cPwKDtuL0 5yJw/4VICnyYdxKku+vuUNdPydBtsI42xOzn93ZAYnwEV1vUpoNHLVI2xFmaIyT7 vzvI49KwSgg/f2nOsF/xErgjSrf3QNLxPxPMshAnN2Bv+MRdkZI24dP4at7IIfTl ivuuH7tgbtOZXrufxzXXzWmCZojIrJl4THZfTgP8Q0M2X4kAPz297bV2vVrC1R6d CGur9ZDA63Oc8NMtPbQ2yDA+SxNwViZ3US/LggvdyNrGr8S3r2FP+VtN17MN4RAY CmbLYiMtD7mtITWDTeLMaaNWtYkb7Y9rh/dWecVW0il3mioEVHCJbDkEnWuq8+k9 GXrfjYKLNWA= =4Bz8 -----END PGP SIGNATURE----- --=-=-=-- ------------=_1745825046-32031-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 26 Apr 2025 16:34:39 +0000 Received: from localhost ([127.0.0.1]:34408 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8iUB-0001rC-AP for submit@debbugs.gnu.org; Sat, 26 Apr 2025 12:34:39 -0400 Received: from lists.gnu.org ([2001:470:142::17]:41342) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8iU4-0001qR-CN for submit@debbugs.gnu.org; Sat, 26 Apr 2025 12:34:33 -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 1u8iTy-0007Fk-QW for guix-patches@gnu.org; Sat, 26 Apr 2025 12:34:27 -0400 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 ) id 1u8iTv-00047n-VG for guix-patches@gnu.org; Sat, 26 Apr 2025 12:34:26 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745685260; bh=UAC/2ckp9oJWf2TsbBvQkYkCzzZawM//5JCYMYhpqXE=; h=From:To:Cc:Subject:Date:From; b=i+NUEo/RbCOmUwKlKAShQiNQqSKmWDf6NlQmj8wt4esQCHwIA+g2CTbkVOmHJScCk Jp/zLNGkzoshiaSC8Q35F05OCD2I2nzXjPNLVnvZ93xj6Qx/Jh4NMkGZqIirTFsrb8 Bfs9peqoylOr0vSm5wXCLjXEIPH2w5mTkdrVc8fA= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4ZlFfN24t4z11FQ; Sat, 26 Apr 2025 16:34:20 +0000 (UTC) Received: from [93.190.126.19] (mx1.investici.org [93.190.126.19]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZlFfM728Dz113J; Sat, 26 Apr 2025 16:34:19 +0000 (UTC) From: Cayetano Santos To: guix-patches@gnu.org Subject: [PATCH electronics-team] gnu: nvc: Update to 1.16.0. Date: Sat, 26 Apr 2025 18:28:58 +0200 Message-ID: <001e807fb12e84f56da4b8bf2ec7f0ad5dd31f3f.1745684938.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 X-Debbugs-Cc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=93.190.126.19; envelope-from=csantosb@inventati.org; helo=confino.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, RCVD_IN_MSPIKE_H2=0.001, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, 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 (nvc): Update to 1.16.0. Change-Id: If781ed403cd769db85f8265fc242d0f1608d737e --- [arguments] <#:configure-flags> Remove --enable-{vhpi,gcov}. [native-inputs]: Add python and perl; sort. [inputs]: Remove elfutils; sort. Note that: --enable-gcov is intended for debug/development of the simulator itself and should not be enabled in release builds - VHPI is now always enabled at build time and the `--enable-vhpi` configure option has no effect. gnu/packages/fpga.scm | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index dfbe1a2894..2d3c265950 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -551,7 +551,7 @@ (define-public python-vunit (define-public nvc (package (name "nvc") - (version "1.15.2") + (version "1.16.0") (source (origin (method git-fetch) (uri (git-reference @@ -560,12 +560,11 @@ (define-public nvc (file-name (git-file-name name version)) (sha256 (base32 - "1r6ba5jw4ja0hv366686d8haakm57h3fl95w81hda8haq6g0dj0q")))) + "1hi1mqhjbj7r3wcdkjr6yazwpc7y9lqc0b8bj4ikfgdfsmakm3s4")))) (build-system gnu-build-system) (arguments (list #:out-of-source? #t - #:configure-flags #~(list "--enable-vhpi" "--enable-tcl" "--enable-gcov" - "--enable-llvm") + #:configure-flags #~(list "--enable-tcl" "--enable-llvm") #:phases #~(modify-phases %standard-phases (add-after 'unpack 'clean-up (lambda _ @@ -573,16 +572,17 @@ (define-public nvc (native-inputs (list automake autoconf + check ; for the tests flex gettext-minimal libtool pkg-config - which - check)) ; for the tests + python + ruby + which)) (inputs - (list elfutils + (list libffi llvm - libffi readline tcl `(,zstd "lib"))) base-commit: edeafb19c4a83eb81fe7e47a6a94f238db9cccf1 -- 2.49.0 ------------=_1745825046-32031-1--