cfde88976b
some redundant builds (e.g., GMP was built three times). * Updated GMP to 5.0.2. * Updated PPL to 0.11.2. * Remove ad hoc flags to build GCC's dependencies statically. Instead, use the ‘makeStaticLibraries’ stdenv adapter. * Build GMP with C++ support by default. svn path=/nixpkgs/branches/stdenv-updates/; revision=30891
54 lines
1.9 KiB
Nix
54 lines
1.9 KiB
Nix
{ stdenv, fetchurl, m4, cxx ? true }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "gmp-5.0.2";
|
|
|
|
src = fetchurl {
|
|
url = "mirror://gnu/gmp/${name}.tar.bz2";
|
|
sha256 = "0a2ch2kpbzrsf3c1pfc6sph87hk2xmwa6np3sn2rzsflzmvdphnv";
|
|
};
|
|
|
|
buildNativeInputs = [ m4 ];
|
|
|
|
configureFlags =
|
|
# Build a "fat binary", with routines for several sub-architectures (x86).
|
|
[ "--enable-fat" ]
|
|
++ (if cxx then [ "--enable-cxx" ] else [ "--disable-cxx" ]);
|
|
|
|
doCheck = true;
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
meta = {
|
|
description = "GMP, the GNU multiple precision arithmetic library";
|
|
|
|
longDescription =
|
|
'' GMP is a free library for arbitrary precision arithmetic, operating
|
|
on signed integers, rational numbers, and floating point numbers.
|
|
There is no practical limit to the precision except the ones implied
|
|
by the available memory in the machine GMP runs on. GMP has a rich
|
|
set of functions, and the functions have a regular interface.
|
|
|
|
The main target applications for GMP are cryptography applications
|
|
and research, Internet security applications, algebra systems,
|
|
computational algebra research, etc.
|
|
|
|
GMP is carefully designed to be as fast as possible, both for small
|
|
operands and for huge operands. The speed is achieved by using
|
|
fullwords as the basic arithmetic type, by using fast algorithms,
|
|
with highly optimised assembly code for the most common inner loops
|
|
for a lot of CPUs, and by a general emphasis on speed.
|
|
|
|
GMP is faster than any other bignum library. The advantage for GMP
|
|
increases with the operand sizes for many operations, since GMP uses
|
|
asymptotically faster algorithms.
|
|
'';
|
|
|
|
homepage = http://gmplib.org/;
|
|
license = "LGPLv3+";
|
|
|
|
maintainers = [ stdenv.lib.maintainers.ludo ];
|
|
platforms = stdenv.lib.platforms.all;
|
|
};
|
|
}
|