public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Revert "Revert "gmp: Use version 6 as the default""

Browse Source 
This reverts commit 7d299447ae584bd064ef175fa889607cb387d0c9.
This commit is contained in:
William A. Kennington III 2015-07-07 09:21:00 -07:00
parent 6085213bc5
commit a31bcbfae0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/top-level/all-packages.nix
View File

@ -6315,7 +6315,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