From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: [PATCH v2 1/5] gnu: Add abc. Date: Thu, 18 Aug 2016 17:18:29 +0200 Message-ID: <20160818151833.29540-2-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]:45029) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1baP5h-0007OO-VO for guix-devel@gnu.org; Thu, 18 Aug 2016 11:18:47 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1baP5b-0000rH-Vt for guix-devel@gnu.org; Thu, 18 Aug 2016 11:18:45 -0400 Received: from dd1012.kasserver.com ([85.13.128.8]:37620) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1baP5b-0000qR-JW for guix-devel@gnu.org; Thu, 18 Aug 2016 11:18:39 -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 abc. * gnu/packages/fpga.scm: New file. * gnu/packages/fpga.scm (abc): New variable. --- gnu/local.mk | 1 + gnu/packages/fpga.scm | 75 +++++++++++++++++++++++++++++++++++++++++++++= ++++++ 2 files changed, 76 insertions(+) create mode 100644 gnu/packages/fpga.scm --------------2.9.1 Content-Type: text/x-patch; name="0001-gnu-Add-abc.patch" Content-Disposition: attachment; filename="0001-gnu-Add-abc.patch" Content-Transfer-Encoding: quoted-printable diff --git a/gnu/local.mk b/gnu/local.mk index 53621d8..84aca08 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -124,6 +124,7 @@ GNU_SYSTEM_MODULES =3D \ %D%/packages/fltk.scm \ %D%/packages/fonts.scm \ %D%/packages/fontutils.scm \ + %D%/packages/fpga.scm \ %D%/packages/freedesktop.scm \ %D%/packages/freeipmi.scm \ %D%/packages/ftp.scm \ diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm new file mode 100644 index 0000000..f757a28 --- /dev/null +++ b/gnu/packages/fpga.scm @@ -0,0 +1,75 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright =C2=A9 2016 Danny Milosavljevic +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (a= t +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu packages fpga) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix packages) + #:use-module (guix download) + #:use-module (guix git-download) + #:use-module (guix build-system gnu) + #:use-module (guix build-system cmake) + #:use-module (gnu packages) + #:use-module (gnu packages pkg-config) + #:use-module (gnu packages tcl) + #:use-module (gnu packages readline) + #:use-module (gnu packages python) + #:use-module (gnu packages bison) + #:use-module (gnu packages flex) + #:use-module (gnu packages libffi) + #:use-module (gnu packages zip) + #:use-module (gnu packages perl) + #:use-module (gnu packages ghostscript) + #:use-module (gnu packages gawk) + #:use-module (gnu packages version-control) + #:use-module (gnu packages libftdi)) + +(define-public abc + (let ((commit "5ae4b975c49c") + (revision "1")) + (package + (name "abc") + (version (string-append "0.0-" revision "-" (string-take commit 9))) + (source (origin + (method url-fetch) + (uri + (string-append "https://bitbucket.org/alanmi/abc/get/" co= mmit ".zip")) + (file-name (string-append name "-" version "-checkout.zip"= )) + (sha256 + (base32 + "1syygi1x40rdryih3galr4q8yg1w5bvdzl75hd27v1xq0l5bz3d0= ")))) + (build-system gnu-build-system) + (native-inputs + `(("unzip" ,unzip))) + (inputs + `(("readline" ,readline))) + (arguments + `(#:tests? #f ; no check target + #:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (out-bin (string-append out "/bin"))) + (install-file "abc" out-bin))))))) + (home-page "http://people.eecs.berkeley.edu/~alanmi/abc/") + (synopsis "Sequential logic synthesis and formal verification") + (description "ABC is a program for sequential logic synthesis and +formal verification.") + (license + (license:non-copyleft "https://fedoraproject.org/wiki/Licensing:MI= T#Modern_Variants"))))) --------------2.9.1--