From 3b4bf9cee3d7d651c3a512a550d72a9279c01b2c Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Fri, 11 Jan 2013 15:52:42 +0100 Subject: [PATCH] gmp: version 5.1.0 has the cpu-id patch applied already --- pkgs/development/libraries/gmp/5.1.0.nix | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/pkgs/development/libraries/gmp/5.1.0.nix b/pkgs/development/libraries/gmp/5.1.0.nix index 88d639e621b..270788198f6 100644 --- a/pkgs/development/libraries/gmp/5.1.0.nix +++ b/pkgs/development/libraries/gmp/5.1.0.nix @@ -4,13 +4,10 @@ stdenv.mkDerivation rec { name = "gmp-5.1.0"; src = fetchurl { - urls = [ "mirror://gnu/gmp/${name}.tar.bz2" - "ftp://ftp.gmplib.org/pub/${name}/${name}.tar.bz2" ]; + urls = [ "mirror://gnu/gmp/${name}.tar.bz2" "ftp://ftp.gmplib.org/pub/${name}/${name}.tar.bz2" ]; sha256 = "15n7xxgasbxdch8ii8z9ic6fxc2ysk3q8iavf55abjp5iylspnfz"; }; - patches = [ ./ignore-bad-cpuid.patch ]; - nativeBuildInputs = [ m4 ]; configureFlags =