all-packages.nix: remove redundant gmp51 attribute

This commit is contained in:
Peter Simons 2015-01-07 20:55:07 +01:00
parent ba1ad03fe7
commit 55d6b7eb08

View File

@ -5384,16 +5384,11 @@ let
gmm = callPackage ../development/libraries/gmm { }; gmm = callPackage ../development/libraries/gmm { };
gmp4 = callPackage ../development/libraries/gmp/4.3.2.nix { }; # required by older GHC versions
gmp5 = callPackage ../development/libraries/gmp/5.1.x.nix { };
gmp = gmp5; gmp = gmp5;
gmp5 = gmp51;
gmpxx = appendToName "with-cxx" (gmp.override { cxx = true; }); gmpxx = appendToName "with-cxx" (gmp.override { cxx = true; });
# The GHC bootstrap binaries link against libgmp.so.3, which is in GMP 4.x.
gmp4 = callPackage ../development/libraries/gmp/4.3.2.nix { };
gmp51 = callPackage ../development/libraries/gmp/5.1.x.nix { };
#GMP ex-satellite, so better keep it near gmp #GMP ex-satellite, so better keep it near gmp
mpfr = callPackage ../development/libraries/mpfr/default.nix { }; mpfr = callPackage ../development/libraries/mpfr/default.nix { };