From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: [PATCH v2 2/5] gnu: Add iverilog. Date: Thu, 18 Aug 2016 17:18:30 +0200 Message-ID: <20160818151833.29540-3-dannym@scratchpost.org> References: <20160818151833.29540-1-dannym@scratchpost.org> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="------------2.9.1" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:45031) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1baP5i-0007OR-3g for guix-devel@gnu.org; Thu, 18 Aug 2016 11:18:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1baP5c-0000rY-SL for guix-devel@gnu.org; Thu, 18 Aug 2016 11:18:46 -0400 Received: from dd1012.kasserver.com ([85.13.128.8]:37622) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1baP5c-0000rN-LE for guix-devel@gnu.org; Thu, 18 Aug 2016 11:18:40 -0400 In-Reply-To: <20160818151833.29540-1-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: guix-devel@gnu.org This is a multi-part message in MIME format. --------------2.9.1 Content-Type: text/plain; charset=UTF-8; format=fixed Content-Transfer-Encoding: quoted-printable gnu: Add iverilog. * gnu/packages/fpga.scm (iverilog): New variable. --- gnu/packages/fpga.scm | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) --------------2.9.1 Content-Type: text/x-patch; name="0002-gnu-Add-iverilog.patch" Content-Disposition: attachment; filename="0002-gnu-Add-iverilog.patch" Content-Transfer-Encoding: quoted-printable diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index f757a28..1d1c981 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -73,3 +73,38 @@ formal verification.") (license (license:non-copyleft "https://fedoraproject.org/wiki/Licensing:MI= T#Modern_Variants"))))) + +(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 + (home-page "http://iverilog.icarus.com/") + (synopsis "FPGA Verilog simulation and synthesis tool") + (description "Icarus Verilog is a Verilog simulation and synthesis t= ool. +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.") + ;; GPL2 only because of: + ;; - ./driver/iverilog.man.in + ;; - ./iverilog-vpi.man.in + ;; - ./tgt-fpga/iverilog-fpga.man + ;; - ./vvp/vvp.man.in + ;; Otherwise would be GPL2+. + ;; You have to accept both GPL2 and LGPL2.1+. + (license (list license:gpl2 license:lgpl2.1+)))) --------------2.9.1--