From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Thompson, David" Subject: Re: [PATCH v2 3/6] gnu: fpga: Add iverilog. Date: Tue, 16 Aug 2016 14:30:18 -0400 Message-ID: References: <20160816180653.22524-1-dannym@scratchpost.org> <20160816180653.22524-4-dannym@scratchpost.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42930) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bZj82-0007k4-Ch for guix-devel@gnu.org; Tue, 16 Aug 2016 14:30:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bZj80-00045o-30 for guix-devel@gnu.org; Tue, 16 Aug 2016 14:30:21 -0400 Received: from mail-ua0-x244.google.com ([2607:f8b0:400c:c08::244]:35296) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bZj7z-00045e-UP for guix-devel@gnu.org; Tue, 16 Aug 2016 14:30:20 -0400 Received: by mail-ua0-x244.google.com with SMTP id 109so7135693uat.2 for ; Tue, 16 Aug 2016 11:30:19 -0700 (PDT) In-Reply-To: <20160816180653.22524-4-dannym@scratchpost.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Danny Milosavljevic Cc: guix-devel 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: ;; (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") + (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