gmp: version 5.1.0 has the cpu-id patch applied already

This commit is contained in:
Peter Simons 2013-01-11 15:52:42 +01:00
parent b33ad366a1
commit 3b4bf9cee3

@ -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 =