From debbugs-submit-bounces@debbugs.gnu.org Sat Apr 26 14:38:58 2025 Received: (at submit) by debbugs.gnu.org; 26 Apr 2025 18:38:58 +0000 Received: from localhost ([127.0.0.1]:34925 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8kQU-0000g6-Ei for submit@debbugs.gnu.org; Sat, 26 Apr 2025 14:38:58 -0400 Received: from lists.gnu.org ([2001:470:142::17]:58192) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8kQR-0000fs-70 for submit@debbugs.gnu.org; Sat, 26 Apr 2025 14:38:55 -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 1u8kQK-0008DY-6g for guix-patches@gnu.org; Sat, 26 Apr 2025 14:38:48 -0400 Received: from latitanza.investici.org ([2001:888:2000:56::19]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1u8kQH-0003qY-TF for guix-patches@gnu.org; Sat, 26 Apr 2025 14:38:47 -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 To: 78076@debbugs.gnu.org Subject: [PATCH v2] gnu: nvc: Update to 1.16.0. 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 X-Debbugs-Cc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2001:888:2000:56::19; envelope-from=csantosb@inventati.org; helo=latitanza.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 via Guix-patches via 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 (/) 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 debbugs-submit-bounces@debbugs.gnu.org Sun Apr 27 06:36:10 2025 Received: (at 78078-done) by debbugs.gnu.org; 27 Apr 2025 10:36:10 +0000 Received: from localhost ([127.0.0.1]:39491 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8zMo-0007pN-E7 for submit@debbugs.gnu.org; Sun, 27 Apr 2025 06:36:10 -0400 Received: from devianza.investici.org ([198.167.222.108]:57005) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8zMm-0007pF-Fu for 78078-done@debbugs.gnu.org; Sun, 27 Apr 2025 06:36:08 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745750167; bh=k9qX7GSioVNJlaTdatlGiLBF2o1yKqVS1sfUc43sEzY=; h=From:To:Subject:Date:From; b=VWEXXlxMzSE2pMJz/7B1kyEIOfiT+k+Sin3bX8gnXdZFfEnLEH1zAgB24e8T9g0Hw cx6ZspQTruoAnyICTnpmnobs7Lgl3fzM+/KR5cnXb3IaVRAC63ar/7GB9RuYxP9uBe r0Yy7dYoIWolI1lsAtrKQtqlLrhTPHbbMkyJSfKQ= Received: from mx2.investici.org (unknown [127.0.0.1]) by devianza.investici.org (Postfix) with ESMTP id 4Zljfb4rZNz6vNp for <78078-done@debbugs.gnu.org>; Sun, 27 Apr 2025 10:36:07 +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 4Zljfb3Jb0z6vMg for <78078-done@debbugs.gnu.org>; Sun, 27 Apr 2025 10:36:07 +0000 (UTC) From: Cayetano Santos To: 78078-done@debbugs.gnu.org Subject: close User-Agent: mu4e 1.12.9; emacs 29.4 Date: Sun, 27 Apr 2025 12:36:06 +0200 Message-ID: <87ikmpnb6x.fsf@inventati.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 78078-done 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 (-) --=-=-= Content-Type: text/plain Wrong patch, see #78076. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iI0EARYKADUWIQTMuBhC+dcFjs1nN3q/XN9N9r9mggUCaA4IlhccY3NhbnRvc2JA aW52ZW50YXRpLm9yZwAKCRC/XN9N9r9mggJkAP0YlxnSjxqCCY0rafv0H1bGaqEg qrvgMkutyreoVDYNvAEA1DT3IgCPDKuQgYS5yIYKEABlS+TZzOyIDCZsXdnn8AQ= =zKCj -----END PGP SIGNATURE----- --=-=-=-- From unknown Sun Aug 17 22:09:56 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 25 May 2025 11:24:24 +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