diff mbox

[v2,3/6] gnu: fpga: Add iverilog.

Message ID CAJ=RwfY=sFYi3bTJfundy9tsJTTys7mvYTjeLtHsZknv4zoeaQ@mail.gmail.com
State New
Headers show

Commit Message

David Thompson Aug. 16, 2016, 6:30 p.m. UTC
+    (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 called
+vvp assembly.
+This intermediate form is executed by the ``vvp'' command.
+For synthesis, the compiler generates netlists in the desired format.")
+    (license license:gpl2)))

Is it really GPL2 only?

LGTM otherwise, thanks!

- Dave

Comments

Danny Milosavljevic Aug. 18, 2016, 10:09 a.m. UTC | #1
On Tue, 16 Aug 2016 14:30:18 -0400
"Thompson, David" <dthompson2@worcester.edu> wrote:

> Is it really GPL2 only?

Most of the files are GPL2+, but these are GPL2 only:

- ./driver/iverilog.man.in
- ./iverilog-vpi.man.in
- ./tgt-fpga/iverilog-fpga.man
- ./vvp/vvp.man.in

In addition these files are LGPL2+:

./iverilog-vpi.sh
./tgt-vlog95/logic_lpm.c
./vpi/mt19937int.c
all the Makefile.in

And these are LGPL2.1+:

./tgt-vlog95/logic_lpm.c
diff mbox

Patch

diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index 7571f87..b0d4819 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -81,3 +81,30 @@  and formal verification.")
     ;; FIXME use license: MIT Modern variant as described in:
     ;;   <https://fedoraproject.org/wiki/Licensing:MIT>
     (license license:expat))))
+
+(define-public iverilog
+  (package
+    (name "iverilog")
+    (version "10.1.1")
+    (source (origin
+              (method url-fetch)
+              (uri
+               (string-append
"ftp://ftp.icarus.com/pub/eda/verilog/v10/verilog-" version
".tar.gz"))
+              (sha256
+                (base32
+                   "1nnassxvq30rnn0r2p85rkb2zwxk97p109y13x3vr365wzgpbapx"))))
+    (build-system gnu-build-system)
+    (native-inputs
+     `(("flex" ,flex)
+       ("bison" ,bison)
+       ("ghostscript" ,ghostscript) #| ps2pdf |#))

A minor nit, but we don't really use that form of comments, so I would
change it to this:

   ("ghostscript" ,ghostscript))) ; ps2pdf

+    (home-page "http://iverilog.icarus.com/")
+    (synopsis "FPGA Verilog Simulation and Synthesis Tool")