gmp6: add top-level attribute

This commit is contained in:
Thomas Tuegel 2015-10-09 19:08:33 -05:00
parent 7061b6819a
commit 1d32078b22

View file

@ -6356,6 +6356,7 @@ let
gmp4 = callPackage ../development/libraries/gmp/4.3.2.nix { }; # required by older GHC versions
gmp5 = callPackage ../development/libraries/gmp/5.1.x.nix { };
gmp6 = callPackage ../development/libraries/gmp/6.x.nix { };
gmp = gmp5;
gmpxx = appendToName "with-cxx" (gmp.override { cxx = true; });