GNU bug report logs - #73837
[PATCH] gnu: iverilog: Update to 12.0.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 73837 in the body.
You can then email your comments to 73837 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Cayetano Santos <csantosb <at> inventati.org>
To: guix-patches <at> gnu.org
Cc: Cayetano Santos <csantosb <at> inventati.org>
Subject: [PATCH] gnu: iverilog: Update to 12.0.
Date: Wed, 16 Oct 2024 12:19:11 +0200

* 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.

 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")))
+       (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"))))))
+    (native-inputs (list autoconf bison flex))
+    (inputs (list gawk
+                  gperf
+                  grep
+                  perl
+                  sed
+                  tcsh))
+    (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
--
2.46.0

Message #8 received at 73837 <at> debbugs.gnu.org (full text, mbox):

From: Z572 <zhengjunjie <at> iscas.ac.cn>
To: Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org>
Cc: Cayetano Santos <csantosb <at> inventati.org>, 73837 <at> debbugs.gnu.org
Subject: Re: [bug#73837] [PATCH] gnu: iverilog: Update to 12.0.
Date: Wed, 16 Oct 2024 20:20:04 +0800

[Message part 1 (text/plain, inline)]

Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org> 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.

[0001-gnu-iverilog-Update-to-12.0.patch (text/x-patch, attachment)]

[signature.asc (application/pgp-signature, inline)]

Message #14 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Cayetano Santos <csantosb <at> inventati.org>
To: Z572 <zhengjunjie <at> iscas.ac.cn>
Cc: Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org>,
 73837 <at> debbugs.gnu.org
Subject: Re: [bug#73837] [PATCH] gnu: iverilog: Update to 12.0.
Date: Wed, 16 Oct 2024 14:47:51 +0200

>mer. 16 oct. 2024 at 20:20, Z572 <zhengjunjie <at> iscas.ac.cn> wrote:

> Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org> writes:

> It is best to use git send-email, see

I’m using send-email (?)

> And without them, build also success.

There is just a couple of warnings:

  warning: no binary for interpreter `perl' found in $PATH
  warning: no binary for interpreter `csh' found in $PATH

I included perl and tcsh to avoid these.

> here is patch after the modification.

Other than the warnings, fine with me. Any action from my side ?

Message #20 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Z572 <zhengjunjie <at> iscas.ac.cn>
To: Cayetano Santos <csantosb <at> inventati.org>
Cc: Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org>,
 73837 <at> debbugs.gnu.org
Subject: Re: [bug#73837] [PATCH] gnu: iverilog: Update to 12.0.
Date: Wed, 16 Oct 2024 20:56:57 +0800

[Message part 1 (text/plain, inline)]

Cayetano Santos <csantosb <at> inventati.org> writes:

>>mer. 16 oct. 2024 at 20:20, Z572 <zhengjunjie <at> iscas.ac.cn> wrote:
>
>> Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org> writes:
>
>> It is best to use git send-email, see
>
> I’m using send-email (?)

Not sure why some people send emails containing patch that are not sent from their own mailbox

e.g.
Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org>



>
>> And without them, build also success.
>
> There is just a couple of warnings:
>
>   warning: no binary for interpreter `perl' found in $PATH
>   warning: no binary for interpreter `csh' found in $PATH
>
> I included perl and tcsh to avoid these.

In general, they may be needed for development scripts, so packaging
does not require them. If packaging fails, you can pay attention to see
if there is a lack of dependencies here

>
>> here is patch after the modification.
>
> Other than the warnings, fine with me. Any action from my side ?

If there is no problem, I will push it to the warehouse later

[signature.asc (application/pgp-signature, inline)]

Message #26 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Zheng Junjie <zhengjunjie <at> iscas.ac.cn>
To: Cayetano Santos <csantosb <at> inventati.org>
Cc: 73837-done <at> debbugs.gnu.org,
 Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org>
Subject: Re: [bug#73837] [PATCH] gnu: iverilog: Update to 12.0.
Date: Sun, 20 Oct 2024 22:32:35 +0800

[Message part 1 (text/plain, inline)]

Z572 <zhengjunjie <at> iscas.ac.cn> writes:

> Cayetano Santos <csantosb <at> inventati.org> writes:
>
>>>mer. 16 oct. 2024 at 20:20, Z572 <zhengjunjie <at> iscas.ac.cn> wrote:
>>
>>> Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org> writes:
>>
>>> It is best to use git send-email, see
>>
>> I’m using send-email (?)
>
> Not sure why some people send emails containing patch that are not sent from their own mailbox
>
> e.g.
> Cayetano Santos via Guix-patches via <guix-patches <at> gnu.org>
>
>
>
>>
>>> And without them, build also success.
>>
>> There is just a couple of warnings:
>>
>>   warning: no binary for interpreter `perl' found in $PATH
>>   warning: no binary for interpreter `csh' found in $PATH
>>
>> I included perl and tcsh to avoid these.
>
> In general, they may be needed for development scripts, so packaging
> does not require them. If packaging fails, you can pay attention to see
> if there is a lack of dependencies here
>
>>
>>> here is patch after the modification.
>>
>> Other than the warnings, fine with me. Any action from my side ?
>
> If there is no problem, I will push it to the warehouse later

push, close.

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.