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

2016-08-18 Thread Danny Milosavljevic
On Tue, 16 Aug 2016 14:30:18 -0400 "Thompson, David" 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.s

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

2016-08-16 Thread Thompson, David
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: ;;