2008-06-26 11:20:33 +01:00
|
|
|
{stdenv, fetchurl, gmp}:
|
|
|
|
|
2012-03-08 11:12:15 +00:00
|
|
|
stdenv.mkDerivation (rec {
|
2011-10-14 22:56:21 +01:00
|
|
|
name = "mpfr-3.1.0";
|
2007-10-26 04:01:44 +01:00
|
|
|
|
2008-04-01 17:53:18 +01:00
|
|
|
src = fetchurl {
|
2009-12-18 17:48:31 +00:00
|
|
|
url = "mirror://gnu/mpfr/${name}.tar.bz2";
|
2011-10-14 22:56:21 +01:00
|
|
|
sha256 = "105nx8qqx5x8f4rlplr2wk4cyv61iw5j3jgi2k21rpb8s6xbp9vl";
|
2008-06-26 11:20:33 +01:00
|
|
|
};
|
2007-10-26 04:01:44 +01:00
|
|
|
|
2009-12-18 17:48:31 +00:00
|
|
|
buildInputs = [ gmp ];
|
|
|
|
|
|
|
|
doCheck = true;
|
2007-10-26 04:01:44 +01:00
|
|
|
|
2010-06-23 15:35:18 +01:00
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
2007-10-26 04:01:44 +01:00
|
|
|
meta = {
|
2008-06-26 11:20:33 +01:00
|
|
|
homepage = http://www.mpfr.org/;
|
2009-02-12 15:26:48 +00:00
|
|
|
description = "GNU MPFR, a library for multiple-precision floating-point arithmetic";
|
|
|
|
|
|
|
|
longDescription = ''
|
|
|
|
The GNU MPFR library is a C library for multiple-precision
|
|
|
|
floating-point computations with correct rounding. MPFR is
|
|
|
|
based on the GMP multiple-precision library.
|
|
|
|
|
|
|
|
The main goal of MPFR is to provide a library for
|
|
|
|
multiple-precision floating-point computation which is both
|
|
|
|
efficient and has a well-defined semantics. It copies the good
|
|
|
|
ideas from the ANSI/IEEE-754 standard for double-precision
|
|
|
|
floating-point arithmetic (53-bit mantissa).
|
|
|
|
'';
|
|
|
|
|
|
|
|
license = "LGPLv2+";
|
2010-08-23 19:28:04 +01:00
|
|
|
|
|
|
|
maintainers = [ stdenv.lib.maintainers.ludo ];
|
|
|
|
platforms = stdenv.lib.platforms.all;
|
2007-10-26 04:01:44 +01:00
|
|
|
};
|
|
|
|
}
|
2012-03-08 11:12:15 +00:00
|
|
|
|
|
|
|
//
|
|
|
|
|
|
|
|
(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" ];
|
|
|
|
}))
|