Skip to content

Commit

Permalink
ghc821: 8.2.1-rc3 -> 8.2.1
Browse files Browse the repository at this point in the history
(cherry picked from commit 0901dd50a2ed0d12b2bee8fdb147fdce5c1c5d69)
Signed-off-by: Domen Kožar <domen@dev.si>
  • Loading branch information
domenkozar committed Jul 23, 2017
1 parent 8875708 commit 407acb8
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions pkgs/development/compilers/ghc/8.2.1.nix
Expand Up @@ -9,8 +9,8 @@

let
inherit (bootPkgs) ghc;
version = "8.2.1-rc3";
preReleaseName = "ghc-8.2.0.20170704";
version = "8.2.1";
preReleaseName = "ghc-8.2.1";
commonBuildInputs = [ alex autoconf automake ghc happy hscolour perl python3 sphinx ];
commonPreConfigure = ''
sed -i -e 's|-isysroot /Developer/SDKs/MacOSX10.5.sdk||' configure
Expand All @@ -27,7 +27,7 @@ in stdenv.mkDerivation (rec {

src = fetchurl {
url = "https://downloads.haskell.org/~ghc/${version}/${preReleaseName}-src.tar.xz";
sha256 = "0ccfybbjrmd8yzqbfdqvb6clz2kd005wi8sx3mfjmbkmxv0l4jry";
sha256 = "1w4k0n23b9fg8kmarqhfamzpmf91p6jcdr6xlwzfmb4df2bd9hng";
};

postPatch = "patchShebangs .";
Expand Down

4 comments on commit 407acb8

@dmjio
Copy link
Member

@dmjio dmjio commented on 407acb8 Jul 23, 2017

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🙌

@basvandijk
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool to see this landing! Could this also be cherry-picked on release-17.03?

@domenkozar
Copy link
Member Author

@domenkozar domenkozar commented on 407acb8 Jul 23, 2017

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think peter will port changes in one batch, which seems feasible for a stable branch and such a mass rebuild.

@ocharles
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎉

Please sign in to comment.