GNU bug report logs - #49371
Removing the broken ‘corrode’ package

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix; Reported by: Tobias Geerinckx-Rice <me@HIDDEN>; dated Sun, 4 Jul 2021 00:49:01 UTC; Maintainer for guix is bug-guix@HIDDEN.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 4 Jul 2021 00:48:26 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jul 03 20:48:26 2021
Received: from localhost ([127.0.0.1]:40104 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lzqJ8-0003eH-8M
	for submit <at> debbugs.gnu.org; Sat, 03 Jul 2021 20:48:26 -0400
Received: from lists.gnu.org ([209.51.188.17]:60334)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <me@HIDDEN>) id 1lzqJ4-0003e8-MB
 for submit <at> debbugs.gnu.org; Sat, 03 Jul 2021 20:48:25 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:44534)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1lzqJ4-0007wG-Dw
 for bug-guix@HIDDEN; Sat, 03 Jul 2021 20:48:22 -0400
Received: from tobias.gr ([2a02:c205:2020:6054::1]:58612)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1lzqJ1-0002uR-Um
 for bug-guix@HIDDEN; Sat, 03 Jul 2021 20:48:22 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=gWnuUnNVLQfB4
 f+W7qHGNvfchPJgXXMRBZHEKXO4WyY=; h=date:subject:to:from;
 d=tobias.gr; 
 b=Wl6WlFJiOkkdDcACocnKIH9V5baZEP9kUHkTtuJHhayv8cN8e5pf7Y8l6ZCzMfJASC3/
 Wibu0bZx/F/4cwJRWdN88QM4ljuoa1od2SxUoHPmLqjCcAvyYD2jaYG57KCozEmsQJyvx1
 7vummpP+4CgT8bAgoqXlPGIU0Zhx3BPDWdlqzTQlmOWuVQhEEvrgVflt67EZCH1mvje5Lh
 7ixxmg/1TuzegwFwRHQPD2+K5jMGVrdQda3aBe4XcATA/iRfJcIno4KQDPw7kwbPwEzx4l
 XSLy+JshbmbWebMmh3WNvrCp00BGxwBw0V+e2TpZ0Z0YLvUev8FeFyM+zLpBhHjA==
Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id f0d5bda7
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for <bug-guix@HIDDEN>;
 Sun, 4 Jul 2021 00:48:14 +0000 (UTC)
From: Tobias Geerinckx-Rice <me@HIDDEN>
To: Bug reports for GNU Guix <bug-guix@HIDDEN>
Subject: Removing the broken =?utf-8?B?4oCYY29ycm9kZeKAmQ==?= package
Date: Sat, 03 Jul 2021 17:46:03 +0200
BIMI-Selector: v=BIMI1; s=default;
Message-ID: <875yxqsy40.fsf@nckx>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="==-=-=";
 micalg=pgp-sha512; protocol="application/pgp-signature"
Received-SPF: pass client-ip=2a02:c205:2020:6054::1; envelope-from=me@HIDDEN;
 helo=tobias.gr
X-Spam_score_int: -5
X-Spam_score: -0.6
X-Spam_bar: /
X-Spam_report: (-0.6 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_06_12=1.543,
 DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -0.3 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.3 (-)

--==-=-=
Content-Type: multipart/mixed; boundary="=-=-="

--=-=-=
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: quoted-printable

Guix,

Cool hack though it was, I propose to remove the broken =E2=80=98corrode=E2=
=80=99=20
package.  This is your chance to protest by fixing it!

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

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

Kind regards,

T G-R


--=-=-=
Content-Type: text/x-patch
Content-Disposition: inline; filename=0001-gnu-Add-ghc-language-c-0.6.patch
Content-Transfer-Encoding: quoted-printable

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

* gnu/packages/haskell-xyz.scm (ghc-language-c-0.6): New public variable.
=2D--
 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
=2D-- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -7000,6 +7000,18 @@ It features a complete, well-tested parser and prett=
y printer for all of C99
 and a large set of GNU extensions.")
     (license license:bsd-3)))
=20
+(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")
=2D-=20
2.32.0


--=-=-=
Content-Type: text/x-patch
Content-Disposition: inline;
 filename=0002-gnu-corrode-Update-to-0.0.0-1.3405334.patch
Content-Transfer-Encoding: quoted-printable

From=207fb3a504056862ca5577a3cfd6ce0eaa1b364551 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@HIDDEN>
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.
=2D--
 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
=2D-- 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)))
=20
 (define-public corrode
=2D  (let ((revision "0")
=2D        (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
=2D          (base32 "02v0yyj6sk4gpg2222wzsdqjxn8w66scbnf6b20x0kbmc69qcz4r"=
))))
+          (base32 "0qwglbbcm96hm44yinzlyspfb60bi2iql750qv0psk5651jfrrdf"))=
))
       (build-system haskell-build-system)
+      (native-inputs
+       `(("ghc-tasty" ,ghc-tasty)
+         ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)))
       (inputs
=2D       `(("ghc-language-c" ,ghc-language-c)
+       ;; XXX When updating, check if the 0.6 variant can be removed entir=
ely.
+       `(("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=
")
=2D-=20
2.32.0


--=-=-=--

--==-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCYOEFUA0cbWVAdG9iaWFz
LmdyAAoJEA2w/4hPVW15MmgA/3t7eVNKfzMCxqOybGVSaecvouZdUMhfGlOYavsy
6gg3AQCt7b2+joIgIXdC0y0tezFDGOKEzmsdFasAdTQWG7W8Dg==
=GUU9
-----END PGP SIGNATURE-----
--==-=-=--




Acknowledgement sent to Tobias Geerinckx-Rice <me@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-guix@HIDDEN. Full text available.
Report forwarded to bug-guix@HIDDEN:
bug#49371; Package guix. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Sun, 4 Jul 2021 01:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.