unofficial mirror of bug-guix@gnu.org 
 help / color / mirror / code / Atom feed
From: Tobias Geerinckx-Rice via Bug reports for GNU Guix <bug-guix@gnu.org>
To: 49371@debbugs.gnu.org
Subject: bug#49371: Removing the broken ‘corrode’ package
Date: Sat, 03 Jul 2021 17:46:03 +0200	[thread overview]
Message-ID: <875yxqsy40.fsf@nckx> (raw)
Message-ID: <20210703154603.yD1ZaAOgoho3yhy522luwuZ_FobxdNxoTmnaj-tCW1Y@z> (raw)


[-- Attachment #1.1: Type: text/plain, Size: 458 bytes --]

Guix,

Cool hack though it was, I propose to remove the broken ‘corrode’ 
package.  This is your chance to protest by fixing it!

With the patches below applied corrode still fails to build as it 
does elsewhere: 
<https://github.com/jameysharp/corrode/issues/181>.

The code hasn't seen commits since 2017, nor did I find any newer 
posts by the author on their GitHub issue tracker.  The project is 
quite dead.

Kind regards,

T G-R


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1.2: 0001-gnu-Add-ghc-language-c-0.6.patch --]
[-- Type: text/x-patch, Size: 1229 bytes --]

From 879b32a49b606eef976062aee06bdf8a6ec028a0 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sat, 3 Jul 2021 17:39:13 +0200
Subject: [PATCH 1/2] gnu: Add ghc-language-c@0.6.

* gnu/packages/haskell-xyz.scm (ghc-language-c-0.6): New public variable.
---
 gnu/packages/haskell-xyz.scm | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 4b80410346..daa64ac8fd 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -7000,6 +7000,18 @@ It features a complete, well-tested parser and pretty printer for all of C99
 and a large set of GNU extensions.")
     (license license:bsd-3)))
 
+(define-public ghc-language-c-0.6
+  (package
+    (inherit ghc-language-c)
+    (version "0.6.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/"
+                           "language-c/language-c-" version ".tar.gz"))
+       (sha256
+        (base32 "1s1pz8lxnc3fbs84a4spayzrww1avkn7jszmazn90r740jfxrji3"))))))
+
 (define-public ghc-language-glsl
   (package
     (name "ghc-language-glsl")
-- 
2.32.0


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1.3: 0002-gnu-corrode-Update-to-0.0.0-1.3405334.patch --]
[-- Type: text/x-patch, Size: 2014 bytes --]

From 7fb3a504056862ca5577a3cfd6ce0eaa1b364551 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sat, 3 Jul 2021 17:40:52 +0200
Subject: [PATCH 2/2] gnu: corrode: Update to 0.0.0-1.3405334.

* gnu/packages/haskell-apps.scm (corrode): Update to 0.0.0-1.3405334.
[native-inputs]: Add ghc-tasty and ghc-tasty-quickcheck.
[inputs]: Use older ghc-language-c-0.6 instead of ghc-language-c.
---
 gnu/packages/haskell-apps.scm | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/gnu/packages/haskell-apps.scm b/gnu/packages/haskell-apps.scm
index 9e49bbfd9e..10c0dadbc4 100644
--- a/gnu/packages/haskell-apps.scm
+++ b/gnu/packages/haskell-apps.scm
@@ -145,8 +145,8 @@ installation of Haskell libraries and programs.")
    (license license:bsd-3)))
 
 (define-public corrode
-  (let ((revision "0")
-        (commit "b6699fb2fa552a07c6091276285a44133e5c9789"))
+  (let ((revision "1")
+        (commit "34053342c2f1ca04f23ad94d67057f14e74d9fb9"))
     (package
       (name "corrode")
       (version (git-version "0.0.0" revision commit))
@@ -158,10 +158,14 @@ installation of Haskell libraries and programs.")
                (commit commit)))
          (file-name (git-file-name name version))
          (sha256
-          (base32 "02v0yyj6sk4gpg2222wzsdqjxn8w66scbnf6b20x0kbmc69qcz4r"))))
+          (base32 "0qwglbbcm96hm44yinzlyspfb60bi2iql750qv0psk5651jfrrdf"))))
       (build-system haskell-build-system)
+      (native-inputs
+       `(("ghc-tasty" ,ghc-tasty)
+         ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)))
       (inputs
-       `(("ghc-language-c" ,ghc-language-c)
+       ;; XXX When updating, check if the 0.6 variant can be removed entirely.
+       `(("ghc-language-c" ,ghc-language-c-0.6)
          ("ghc-markdown-unlit" ,ghc-markdown-unlit)))
       (home-page "https://github.com/jameysharp/corrode")
       (synopsis "Automatic semantics-preserving translation from C to Rust")
-- 
2.32.0


[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 247 bytes --]

             reply	other threads:[~2021-07-04  0:49 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <875yxqsy40.fsf@nckx>
2021-07-03 15:46 ` bug#49371: Removing the broken ‘corrode’ package Tobias Geerinckx-Rice via Bug reports for GNU Guix
2021-07-06  8:47 ` zimoun

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=875yxqsy40.fsf@nckx \
    --to=bug-guix@gnu.org \
    --cc=49371@debbugs.gnu.org \
    --cc=me@tobias.gr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).