2013-06-29 16:56:20 +02:00
|
|
|
{ stdenv, fetchurl, gmp }:
|
2008-06-26 12:20:33 +02:00
|
|
|
|
2013-02-23 14:59:59 +01:00
|
|
|
stdenv.mkDerivation rec {
|
2015-07-18 00:41:50 +02:00
|
|
|
name = "mpfr-3.1.3";
|
2007-10-26 05:01:44 +02:00
|
|
|
|
2008-04-01 18:53:18 +02:00
|
|
|
src = fetchurl {
|
2009-12-18 18:48:31 +01:00
|
|
|
url = "mirror://gnu/mpfr/${name}.tar.bz2";
|
2015-07-18 00:41:50 +02:00
|
|
|
sha256 = "1z8akfw9wbmq91vrx04bw86mmnxw2sw5qm5cr8ix5b3w2mcv8fzn";
|
2008-06-26 12:20:33 +02:00
|
|
|
};
|
2007-10-26 05:01:44 +02:00
|
|
|
|
2015-07-18 00:41:50 +02:00
|
|
|
patches = [ ./upstream.patch ];
|
|
|
|
|
2014-08-27 01:14:09 +02:00
|
|
|
outputs = [ "dev" "out" "doc" ];
|
|
|
|
|
2015-04-08 11:33:07 +02:00
|
|
|
# mpfr.h requires gmp.h
|
|
|
|
propagatedBuildInputs = [ gmp ];
|
2009-12-18 18:48:31 +01:00
|
|
|
|
2013-06-29 16:56:20 +02:00
|
|
|
configureFlags =
|
2015-11-07 05:59:34 +01:00
|
|
|
stdenv.lib.optional stdenv.isSunOS "--disable-thread-safe" ++
|
2013-06-29 16:56:20 +02:00
|
|
|
stdenv.lib.optional stdenv.is64bit "--with-pic";
|
|
|
|
|
2009-12-18 18:48:31 +01:00
|
|
|
doCheck = true;
|
2007-10-26 05:01:44 +02:00
|
|
|
|
2010-06-23 16:35:18 +02:00
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
2007-10-26 05:01:44 +02:00
|
|
|
meta = {
|
2008-06-26 12:20:33 +02:00
|
|
|
homepage = http://www.mpfr.org/;
|
2014-08-24 16:21:08 +02:00
|
|
|
description = "Library for multiple-precision floating-point arithmetic";
|
2009-02-12 16:26:48 +01: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 06:19:00 +02:00
|
|
|
license = stdenv.lib.licenses.lgpl2Plus;
|
2010-08-23 20:28:04 +02:00
|
|
|
|
2015-01-13 22:33:24 +01:00
|
|
|
maintainers = [ ];
|
2010-08-23 20:28:04 +02:00
|
|
|
platforms = stdenv.lib.platforms.all;
|
2007-10-26 05:01:44 +02:00
|
|
|
};
|
2013-02-23 14:59:59 +01:00
|
|
|
}
|