From 7fb3a504056862ca5577a3cfd6ce0eaa1b364551 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice 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