3
0
Fork 0
forked from mirrors/nixpkgs

gmp: Use version 6 as the default

This commit is contained in:
William A. Kennington III 2015-06-11 17:35:53 -07:00
parent db1054b616
commit 370fc79b94

View file

@ -6191,7 +6191,8 @@ let
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;
gmp6 = callPackage ../development/libraries/gmp/6.x.nix { };
gmp = gmp6;
gmpxx = appendToName "with-cxx" (gmp.override { cxx = true; });
#GMP ex-satellite, so better keep it near gmp