diff --git a/pkgs/development/libraries/gmp/default.nix b/pkgs/development/libraries/gmp/default.nix index 967c60a35b30..459a57ab5cac 100644 --- a/pkgs/development/libraries/gmp/default.nix +++ b/pkgs/development/libraries/gmp/default.nix @@ -1,15 +1,17 @@ {stdenv, fetchurl, m4, cxx ? true }: stdenv.mkDerivation { - name = "gmp-4.2.3"; + name = "gmp-4.2.4"; src = fetchurl { - url = mirror://gnu/gmp/gmp-4.2.3.tar.bz2; - sha256 = "139b5abc49833832184c0a03ff6fc64c59ef102b420d2a5884ad78af5647414b"; + url = mirror://gnu/gmp/gmp-4.2.4.tar.bz2; + sha256 = "0s73xzhwrfqcr1gmhsink1fhfzjlkyk70b1bdyrm76m6b3jv082l"; }; buildInputs = [m4]; + configureFlags = if cxx then "--enable-cxx" else "--disable-cxx"; + doCheck = true; meta = { diff --git a/pkgs/development/libraries/mpfr/default.nix b/pkgs/development/libraries/mpfr/default.nix index b74b8af02e14..f6456ea0c4e0 100644 --- a/pkgs/development/libraries/mpfr/default.nix +++ b/pkgs/development/libraries/mpfr/default.nix @@ -1,11 +1,11 @@ {stdenv, fetchurl, gmp}: stdenv.mkDerivation { - name = "mpfr-2.3.1"; + name = "mpfr-2.3.2"; src = fetchurl { - url = http://www.mpfr.org/mpfr-current/mpfr-2.3.1.tar.bz2; - sha256 = "0c44va4plxfd9zm7aa24173im38svnb15lbxql5hvxbc9bgzjmyq"; + url = http://www.mpfr.org/mpfr-current/mpfr-2.3.2.tar.bz2; + sha256 = "0k5s5whhz5njp4ybim8c7rcin5ba1s2apwijmg7bg0p1jv4piq0q"; }; buildInputs = [gmp];