From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: [PATCH] gnu: Add corrode. Date: Wed, 4 Jan 2017 20:37:23 +0100 Message-ID: <20170104193723.29468-1-dannym@scratchpost.org> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33440) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cOrNO-0000q3-Mj for guix-devel@gnu.org; Wed, 04 Jan 2017 14:37:35 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cOrNL-0005M8-Ip for guix-devel@gnu.org; Wed, 04 Jan 2017 14:37:34 -0500 Received: from dd1012.kasserver.com ([85.13.128.8]:60908) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cOrNL-0005Lr-Ax for guix-devel@gnu.org; Wed, 04 Jan 2017 14:37:31 -0500 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 * gnu/packages/rust.scm (corrode): New variable. --- gnu/packages/rust.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/rust.scm b/gnu/packages/rust.scm index 97d0d7cb0..fa2806201 100644 --- a/gnu/packages/rust.scm +++ b/gnu/packages/rust.scm @@ -26,6 +26,7 @@ #:use-module (gnu packages curl) #:use-module (gnu packages elf) #:use-module (gnu packages gcc) + #:use-module (gnu packages haskell) #:use-module (gnu packages jemalloc) #:use-module (gnu packages llvm) #:use-module (gnu packages pkg-config) @@ -35,8 +36,10 @@ #:use-module (gnu packages version-control) #:use-module (guix build-system cargo) #:use-module (guix build-system gnu) + #:use-module (guix build-system haskell) #:use-module (guix build-system trivial) #:use-module (guix download) + #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) #:use-module (ice-9 match) @@ -320,3 +323,28 @@ dependencies and ensures a reproducible build.") ;; Cargo is dual licensed Apache and MIT. Also contains ;; code from openssl which is GPL2 with linking exception. (license (list license:asl2.0 license:expat license:gpl2)))) + +(define-public corrode + (let ((commit "b6699fb2fa552a07c6091276285a44133e5c9789")) + (package + (name "corrode") + (version (string-append "0.0.1-" (string-take commit 7))) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/jameysharp/corrode.git") + (commit "b6699fb2fa552a07c6091276285a44133e5c9789"))) + (file-name + (string-append name "-" version "-checkout")) + (sha256 + (base32 "02v0yyj6sk4gpg2222wzsdqjxn8w66scbnf6b20x0kbmc69qcz4r")))) + (build-system haskell-build-system) + (inputs + `(("ghc-language-c" ,ghc-language-c) + ("ghc-markdown-unlit" ,ghc-markdown-unlit))) + (home-page "https://github.com/jameysharp/corrode") + (synopsis "C to Rust translator") + (description "This package automatically translates C source code +to Rust source code.") + (license license:gpl2))))