[PATCH] gnu: Add corrode.

[PATCH] gnu: Add corrode.

[Danny Milosavljevic]

* 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))))

Re: [PATCH] gnu: Add corrode.

[Ludovic Courtès]

Hi!

Danny Milosavljevic <dannym@scratchpost.org> skribis:

> * gnu/packages/rust.scm (corrode): New variable.

I took the freedom to move it to haskell.scm so that rust.scm does not
pull in haskell.scm.

> +      (synopsis "C to Rust translator")
> +      (description "This package automatically translates C source code
> +to Rust source code.")
> +      (license license:gpl2))))

I adjusted the text and changed the license to ‘gpl2+’ (since there’s no
explicit version 2 only wording) and pushed as
ee719fba2dc5a035e959e57378552c4df705de1a.

Thanks!

Ludo’.