From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id cMCLNLmvD2feUgEAe85BDQ:P1 (envelope-from ) for ; Wed, 16 Oct 2024 12:21:14 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id cMCLNLmvD2feUgEAe85BDQ (envelope-from ) for ; Wed, 16 Oct 2024 14:21:13 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=M5qd18JY; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1729081273; a=rsa-sha256; cv=none; b=o1iV9g87sEj8NRCQUs4hsmmTOrJJDP82drZwHv1lf69wx9KLqi0dXZxjOQtg9+YGmHNnIZ Egv9rm1LLOoUIjPQKJmqPoYxiHtkojevwaMI7cE29Yj1HPK9qVySUztYpSGMz+GMiBQ4Rc dehJNWFNzOtMWk1SoLOA1GMnK1HuF7DabIdF1hzQlq0VUf9CYI8KBKE8tFQZTcqIU6lz/9 iEz9GOeDLy6SGjUUU1K/e5eX1iqxFMphK3Xo5uNQ5ZezsRgsdyxN2VnrMjWv2Fgoj3pjPR eHnt8dBIY7n+ymHmTBntuqb6WeE2Q65FA9AmNnOE3E9APgyWiX0u8iNPMWR1zw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=M5qd18JY; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1729081273; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=WEZRIxdN/TPG3WnMi1qj0569gUTCWxs3OPSa7N3pNMg=; b=PEV0kOqWljCaGJUU6r2vMSaMA/31Sm7wuCdESCWYTFUHUBNgCBHFphCAezmISbjEwQOjsH MMktOApEkD6GFsMgHTFixE2Uup7s6KpEJ3kS3fGwjKUE/6mc+AUmGG92YgCnLz3+EYiAhF k1y+vxXgA2yEo3NzaYpUjrVzABJ6meww39onW3+h5yJcuhCQbwblh/yHmHUdIB3ssX1bjq M7ChhcrqsHIzEIC65JkzzYEfbXHOJZcZ2EbMkLBVFjQZKrAmzLEQLJcoEB4MTjf7ZjTDT4 mp18RFRglHuVcbU5d1BCt61BTfEH+OGmdZaABmlR6/8FAcOKLG58nyFs0BWiSg== Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 1AD28838B5 for ; Wed, 16 Oct 2024 14:21:12 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1t131F-0005XD-Qp; Wed, 16 Oct 2024 08:20:49 -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 1t1319-0005Uq-Hv for guix-patches@gnu.org; Wed, 16 Oct 2024 08:20:43 -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 1t1319-0002JP-5i for guix-patches@gnu.org; Wed, 16 Oct 2024 08:20:43 -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:References:In-Reply-To:From:To:Subject; bh=WEZRIxdN/TPG3WnMi1qj0569gUTCWxs3OPSa7N3pNMg=; b=M5qd18JYjpl6C5ZvFbTVNEshQsyiK8GoonR9ZB9XNF8/1/u5VeXof+RALPIcx0e0D5T2cFMK6eR35QxRFZGsBckQ7mjyP/OWZJKS4rQWbwPafdd1VCGJ79xslzfmYwmXFuS4Dn2kUIy7i6KxGZdAXOTEzNgQ7ruNfOTVeV3/mdbA0mliZ9HQTofZ/uIYFVcfxVhWBhWZNprRA3qvgUatog/4zWaf1bNnlMOAxz+j7b2Y5mFywxAODBUT3K0nmnl7YLu+tf1js8YUqehPnw7A18Qfw/kG0ytMB5t/qLeFivpJivH5lcvKcD7zTyXh0C2UH4zNdQk2X5AEnYQM/2c9LQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1t131S-0006KX-K8 for guix-patches@gnu.org; Wed, 16 Oct 2024 08:21:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73837] [PATCH] gnu: iverilog: Update to 12.0. Resent-From: Z572 Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 16 Oct 2024 12:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73837 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73837@debbugs.gnu.org Cc: csantosb@inventati.org X-Debbugs-Original-To: Cayetano Santos via Guix-patches via X-Debbugs-Original-Cc: Cayetano Santos , 73837@debbugs.gnu.org Received: via spool by 73837-submit@debbugs.gnu.org id=B73837.172908125924313 (code B ref 73837); Wed, 16 Oct 2024 12:21:02 +0000 Received: (at 73837) by debbugs.gnu.org; 16 Oct 2024 12:20:59 +0000 Received: from localhost ([127.0.0.1]:58896 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t131O-0006K4-7R for submit@debbugs.gnu.org; Wed, 16 Oct 2024 08:20:58 -0400 Received: from smtp21.cstnet.cn ([159.226.251.21]:41566 helo=cstnet.cn) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t131K-0006Jm-9N for 73837@debbugs.gnu.org; Wed, 16 Oct 2024 08:20:56 -0400 Received: from m (unknown [107.174.64.25]) by APP-01 (Coremail) with SMTP id qwCowABXXip8rw9n+gn7Bw--.60570S2; Wed, 16 Oct 2024 20:20:21 +0800 (CST) From: Z572 In-Reply-To: (Cayetano Santos via Guix-patches via's message of "Wed, 16 Oct 2024 12:19:11 +0200") References: Date: Wed, 16 Oct 2024 20:20:04 +0800 Message-ID: <87bjzk44uj.fsf@iscas.ac.cn> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-CM-TRANSID: qwCowABXXip8rw9n+gn7Bw--.60570S2 X-Coremail-Antispam: 1UD129KBjvJXoWxGrWUWF18Jr1rGr4UKFWrAFb_yoWrGrykpa ySya4agw18Krn8Xw4SgFy0krn0grW8tr4Ygw47Ar18GFWqyFWxCrWxKFZ5Cr1fCw1xGw47 WF4kXF4xGFyUuFJanT9S1TB71UUUUU7qnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDU0xBIdaVrnRJUUUvmb7Iv0xC_Kw4lb4IE77IF4wAFF20E14v26r1j6r4UM7CY07I2 0VC2zVCF04k26cxKx2IYs7xG6rWj6s0DM7CIcVAFz4kK6r1j6r18M28lY4IEw2IIxxk0rw A2F7IY1VAKz4vEj48ve4kI8wA2z4x0Y4vE2Ix0cI8IcVAFwI0_Jr0_JF4l84ACjcxK6xII jxv20xvEc7CjxVAFwI0_Jr0_Gr1l84ACjcxK6I8E87Iv67AKxVWxJr0_GcWl84ACjcxK6I 8E87Iv6xkF7I0E14v26rxl6s0DM2vj62AExVA0xI801c8C04v26x02cVCv0xWle2I262IY c4CY6c8Ij28IcVAaY2xG8wASzI0EjI02j7AqF2xKxwAqx4xG64xvF2IEw4CE5I8CrVC2j2 WlYx0E2Ix0cI8IcVAFwI0_Jr0_Jr4lYx0Ex4A2jsIE14v26r1j6r4UMcvjeVCFs4IE7xkE bVWUJVW8JwACjcxG0xvEwIxGrwCF04k20xvY0x0EwIxGrwCFx2IqxVCFs4IE7xkEbVWUJV W8JwC20s026c02F40E14v26r1j6r18MI8I3I0E7480Y4vE14v26r106r1rMI8E67AF67kF 1VAFwI0_Jrv_JF1lIxkGc2Ij64vIr41lIxAIcVC0I7IYx2IY67AKxVWUJVWUCwCI42IY6x IIjxv20xvEc7CjxVAFwI0_Jr0_Gr1lIxAIcVCF04k26cxKx2IYs7xG6r1j6r1xMIIF0xvE x4A2jsIE14v26r1j6r4UMIIF0xvEx4A2jsIEc7CjxVAFwI0_Jr0_GrUvcSsGvfC2KfnxnU UI43ZEXa7IUeAHUPUUUUU== X-Originating-IP: [107.174.64.25] X-CM-SenderInfo: x2kh0wxmxqyx3h6l2u1dvotugofq/ 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: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -3.74 X-Spam-Score: -3.74 X-Migadu-Queue-Id: 1AD28838B5 X-Migadu-Scanner: mx12.migadu.com X-TUID: rzjztSyqwaB5 --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Cayetano Santos via Guix-patches via writes: It is best to use git send-email, see https://guix.gnu.org/manual/devel/en/html_node/Sending-a-Patch-Series.html > * gnu/packages/fpga.scm (iverilog): Update to 12.0. > > Change-Id: I55c3142aa41b190fef79572576cac6fc02473645 > --- > > Iverilog 12 has a new home page. Update definition as for instructions in there. Please try to record these * gnu/packages/fpga.scm (iverilog): Update to 12.0. [source]: Switch to git-fetch. [arguments]: Use G-expressions. Set #:bootstrap-scripts to #~(list "autoconf.sh"). Set #:test-target to "check". [home-page]: Update to new home page. [native-inputs]: Add autoconf, gperf, remove ghostscript and zlib. > > gnu/packages/fpga.scm | 45 +++++++++++++++++++++++++++++-------------- > 1 file changed, 31 insertions(+), 14 deletions(-) > > diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm > index b4ada59b9c..086dcce82a 100644 > --- a/gnu/packages/fpga.scm > +++ b/gnu/packages/fpga.scm > @@ -40,6 +40,7 @@ (define-module (gnu packages fpga) > #:use-module (gnu packages base) > #:use-module (gnu packages bison) > #:use-module (gnu packages boost) > + #:use-module (gnu packages shells) > #:use-module (gnu packages check) > #:use-module (gnu packages cmake) > #:use-module (gnu packages compression) > @@ -106,23 +107,39 @@ (define-public abc > (define-public iverilog > (package > (name "iverilog") > - (version "11.0") > - (source (origin > - (method url-fetch) > - (uri > - (string-append "ftp://ftp.icarus.com/pub/eda/verilog/v11/" > - "verilog-" version ".tar.gz")) > - (sha256 > - (base32 > - "1mamlrkpb2gb00g7xdddaknrvwi4jr4ng6cfjhwngzk3ddhqaiym")))) > + (version "12.0") > + (source > + (origin > + (method git-fetch) > + (uri (git-reference > + (url "https://github.com/steveicarus/iverilog") > + (commit "v12_0"))) (commit (string-append "v" (string-replace-substring version "." "_"))) > + (file-name (git-file-name name version)) > + (sha256 > + (base32 "1cm3ksxyyp8ihs0as5c2nk3a0y2db8dmrrw0f9an3sl255smxn17")))) > (build-system gnu-build-system) > (arguments > - `(#:make-flags (list (string-append "CC=" ,(cc-for-target))))) > - (native-inputs > - (list flex bison ghostscript zlib)) ; ps2pdf > - (home-page "http://iverilog.icarus.com/") > + (list > + #:test-target "check" > + #:make-flags #~(list (string-append "PREFIX=" > + #$output)) > + #:phases #~(modify-phases %standard-phases > + (delete 'bootstrap) > + (add-before 'configure 'autoconf > + (lambda _ > + (invoke "chmod" "+x" "autoconf.sh") > + (invoke "./autoconf.sh")))))) just use #:bootstrap-scripts #~(list "autoconf.sh") , no need change #:phases. > + (native-inputs (list autoconf bison flex)) gperf should go to native-inputs. if you try cross-compiling this package, will find that. > + (inputs (list gawk > + gperf > + grep > + perl > + sed > + tcsh)) other inputs is no needed. by defaults gawk, grep, sed is included (see guix/build-system/gnu.scm (standard-packages) and gnu/packages/commencement.scm (%final-inputs) ). And without them, build also success. > + (home-page "https://steveicarus.github.io/iverilog") > (synopsis "FPGA Verilog simulation and synthesis tool") > - (description "Icarus Verilog is a Verilog simulation and synthesis tool. > + (description > + "Icarus Verilog is a Verilog simulation and synthesis tool. > It operates as a compiler, compiling source code written in Verilog > (IEEE-1364) into some target format. > For batch simulation, the compiler can generate an intermediate form > > base-commit: f443f5b0cd77cbbfa70cd915b4082ce32340127e here is patch after the modification. --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0001-gnu-iverilog-Update-to-12.0.patch Content-Transfer-Encoding: quoted-printable From=206b57079fac6dc4c5b1cf015cc5a38c0e9ae1c60f Mon Sep 17 00:00:00 2001 Message-ID: <6b57079fac6dc4c5b1cf015cc5a38c0e9ae1c60f.1729080767.git.zhengj= unjie@iscas.ac.cn> From: Cayetano Santos Date: Wed, 16 Oct 2024 12:19:11 +0200 Subject: [PATCH] gnu: iverilog: Update to 12.0. * gnu/packages/fpga.scm (iverilog): Update to 12.0. [source]: Switch to git-fetch. [arguments]: Use G-expressions. Set #:bootstrap-scripts to #~(list "autoconf.sh"). Set #:test-target to "check". [home-page]: Update to new home page. [native-inputs]: Add autoconf, gperf, remove ghostscript and zlib. Change-Id: I55c3142aa41b190fef79572576cac6fc02473645 =2D-- gnu/packages/fpga.scm | 34 ++++++++++++++++++++-------------- 1 file changed, 20 insertions(+), 14 deletions(-) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 4c713aab0b8..77f481751bd 100644 =2D-- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -107,23 +107,29 @@ (define-public abc (define-public iverilog (package (name "iverilog") =2D (version "11.0") =2D (source (origin =2D (method url-fetch) =2D (uri =2D (string-append "ftp://ftp.icarus.com/pub/eda/verilog/v11/" =2D "verilog-" version ".tar.gz")) =2D (sha256 =2D (base32 =2D "1mamlrkpb2gb00g7xdddaknrvwi4jr4ng6cfjhwngzk3ddhqaiym"))= )) + (version "12.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/steveicarus/iverilog") + (commit + (string-append "v" (string-replace-substring version "." "_"= ))))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1cm3ksxyyp8ihs0as5c2nk3a0y2db8dmrrw0f9an3sl255smxn17")))) (build-system gnu-build-system) (arguments =2D `(#:make-flags (list (string-append "CC=3D" ,(cc-for-target))))) =2D (native-inputs =2D (list flex bison ghostscript zlib)) ; ps2pdf =2D (home-page "http://iverilog.icarus.com/") + (list + #:test-target "check" + #:make-flags #~(list (string-append "PREFIX=3D" + #$output)) + #:bootstrap-scripts #~(list "autoconf.sh"))) + (native-inputs (list autoconf bison flex gperf)) + (home-page "https://steveicarus.github.io/iverilog") (synopsis "FPGA Verilog simulation and synthesis tool") =2D (description "Icarus Verilog is a Verilog simulation and synthesis t= ool. + (description + "Icarus Verilog is a Verilog simulation and synthesis tool. It operates as a compiler, compiling source code written in Verilog (IEEE-1364) into some target format. For batch simulation, the compiler can generate an intermediate form base-commit: b3b98151f30552357b91154deb6cc71696af5537 =2D-=20 2.46.0 --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEfr6klGDOXiwIdX/bO1qpk+Gi3/AFAmcPr3QACgkQO1qpk+Gi 3/AXshAAset5eWzIBkW/Z8JPw5axM8BowyV/THg7ScC7PSWa5QD/CMdEb3FyM++U m4aC74kZeGxnUwYMtAJlvWCiikl5TQEeLC63c40xAb8zF1Z0UGSDhSl1CzHqC1ML ZFeHtnjefA56np9u+AvGNAmQyirXhltPRWZhcq+tUXcZ/th1ooz6fQ3n7m60zoB6 ggSNUJKGJsU3NwRbK7idjyCqeJAfCR7QMT7MtLfEWpgLJFbshywXlkfU5lr4mpgd zzS4Zo5gXRBcw5Uj0tFEK/fSTlfm8ncEyi5jvPVZ5yi41oINsBb+orfPqaWUQRs1 B59bnKA4FiX5lsb975I9jz719eUTsEFEHI07Nq3DgBDAYrzeE/tDXImjth8061VY Xxw+A/RbwvuVcccr0xkHBCp5kW+9INrnBh7v1hBNXftCveyFwVSthkmjPrhf0urp /vs8pIrllcCQEVYyOfmIIJDMg0tYAWDnE32mevosUIlFxwVuRDxRhI8ADM13BxSY st4RC09E2lZBk47gur3B01Wf/cUISq1GeEcTFzsds9+Ukn7PXcJ8+t5xfBtOkee0 kd6S0+JYzNofIkEv06Dss7AnpUH70AU4e+qyowuaGB0ZrRxlGFIpXEV3quOGlvxy SMxXD7/eLGLWLU97u04rXCt9fh6p4B9Mx+GWHeH6iYMv51+D29U= =+qdR -----END PGP SIGNATURE----- --==-=-=--