diff options
Diffstat (limited to 'pkgs/development/libraries/gmp/5.0.5.nix')
| -rw-r--r-- | pkgs/development/libraries/gmp/5.0.5.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/libraries/gmp/5.0.5.nix b/pkgs/development/libraries/gmp/5.0.5.nix index 62acc974caaf..dba5cafdf573 100644 --- a/pkgs/development/libraries/gmp/5.0.5.nix +++ b/pkgs/development/libraries/gmp/5.0.5.nix @@ -8,6 +8,8 @@ stdenv.mkDerivation rec { sha256 = "1jfymbr90mpn0zw5sg001llqnvf2462y77vgjknrmfs1rjn8ln0z"; }; + patches = [ ./ignore-bad-cpuid.patch ]; + nativeBuildInputs = [ m4 ]; configureFlags = |