diff options
author | Ludovic Courtès <ludo@gnu.org> | 2012-03-08 11:12:15 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2012-03-08 11:12:15 +0000 |
commit | 66403757db7a589779f04cbe44909d0c748a95e3 (patch) | |
tree | 18fb03ecc8a5e84d8d9bfc914eba71de69e936bc /pkgs/development/libraries/mpfr | |
parent | 7390600a6e3e56e7f8f6529b2f40d7c8a77e128a (diff) |
GNU MPFR: Work around a FreeBSD bug.
svn path=/nixpkgs/trunk/; revision=32884
Diffstat (limited to 'pkgs/development/libraries/mpfr')
-rw-r--r-- | pkgs/development/libraries/mpfr/default.nix | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/pkgs/development/libraries/mpfr/default.nix b/pkgs/development/libraries/mpfr/default.nix index 0ab745879aca4..faa2e1b1a71ed 100644 --- a/pkgs/development/libraries/mpfr/default.nix +++ b/pkgs/development/libraries/mpfr/default.nix @@ -1,6 +1,6 @@ {stdenv, fetchurl, gmp}: -stdenv.mkDerivation rec { +stdenv.mkDerivation (rec { name = "mpfr-3.1.0"; src = fetchurl { @@ -36,3 +36,15 @@ stdenv.mkDerivation rec { platforms = stdenv.lib.platforms.all; }; } + +// + +(stdenv.lib.optionalAttrs stdenv.isFreeBSD { + /* Work around a FreeBSD bug that otherwise leads to segfaults in + the test suite: + http://hydra.bordeaux.inria.fr/build/34862 + http://websympa.loria.fr/wwsympa/arc/mpfr/2011-10/msg00015.html + http://www.freebsd.org/cgi/query-pr.cgi?pr=161344 + */ + configureFlags = [ "--disable-thread-safe" ]; + })) |