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 {
|
2015-07-17 23:41:50 +01:00
|
|
|
name = "mpfr-3.1.3";
|
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";
|
2015-07-17 23:41:50 +01:00
|
|
|
sha256 = "1z8akfw9wbmq91vrx04bw86mmnxw2sw5qm5cr8ix5b3w2mcv8fzn";
|
2008-06-26 11:20:33 +01:00
|
|
|
};
|
2007-10-26 04:01:44 +01:00
|
|
|
|
2015-07-17 23:41:50 +01:00
|
|
|
patches = [ ./upstream.patch ];
|
|
|
|
|
2014-08-27 00:14:09 +01:00
|
|
|
outputs = [ "dev" "out" "doc" ];
|
|
|
|
|
2015-04-08 10:33:07 +01:00
|
|
|
# mpfr.h requires gmp.h
|
|
|
|
propagatedBuildInputs = [ gmp ];
|
2009-12-18 17:48:31 +00:00
|
|
|
|
2013-06-29 15:56:20 +01:00
|
|
|
configureFlags =
|
2015-11-07 04:59:34 +00:00
|
|
|
stdenv.lib.optional stdenv.isSunOS "--disable-thread-safe" ++
|
2013-06-29 15:56:20 +01:00
|
|
|
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/;
|
2014-08-24 15:21:08 +01:00
|
|
|
description = "Library for multiple-precision floating-point arithmetic";
|
2009-02-12 15:26:48 +00:00
|
|
|
|
|
|
|
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).
|
|
|
|
'';
|
|
|
|
|
2014-06-19 05:19:00 +01:00
|
|
|
license = stdenv.lib.licenses.lgpl2Plus;
|
2010-08-23 19:28:04 +01:00
|
|
|
|
2015-01-13 21:33:24 +00:00
|
|
|
maintainers = [ ];
|
2010-08-23 19:28:04 +01:00
|
|
|
platforms = stdenv.lib.platforms.all;
|
2007-10-26 04:01:44 +01:00
|
|
|
};
|
2013-02-23 13:59:59 +00:00
|
|
|
}
|