2013-06-29 15:56:20 +01:00
|
|
|
{ stdenv, fetchurl, gmp }:
|
2008-06-26 11:20:33 +01:00
|
|
|
|
2013-02-23 13:59:59 +00:00
|
|
|
stdenv.mkDerivation rec {
|
2013-06-29 15:56:20 +01:00
|
|
|
name = "mpfr-3.1.2";
|
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";
|
2013-06-29 15:56:20 +01:00
|
|
|
sha256 = "0sqvpfkzamxdr87anzakf9dhkfh15lfmm5bsqajk02h1mxh3zivr";
|
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 ];
|
|
|
|
|
2013-06-29 15:56:20 +01:00
|
|
|
configureFlags =
|
|
|
|
/* 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
|
|
|
|
*/
|
|
|
|
stdenv.lib.optional (stdenv.isSunOS or stdenv.isFreeBSD) "--disable-thread-safe" ++
|
|
|
|
stdenv.lib.optional stdenv.is64bit "--with-pic";
|
|
|
|
|
2009-12-18 17:48:31 +00:00
|
|
|
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
|
|
|
};
|
2013-02-23 13:59:59 +00:00
|
|
|
}
|
2013-06-29 15:56:20 +01:00
|
|
|
|