2019-04-18 00:52:25 +01:00
|
|
|
{ stdenv, fetchurl, m4
|
|
|
|
, cxx ? !stdenv.hostPlatform.useAndroidPrebuilt && !stdenv.hostPlatform.isWasm
|
2018-08-20 19:43:41 +01:00
|
|
|
, buildPackages
|
2017-04-26 04:52:53 +01:00
|
|
|
, withStatic ? false }:
|
2015-03-26 05:59:04 +00:00
|
|
|
|
2019-06-16 20:59:06 +01:00
|
|
|
let inherit (stdenv.lib) optional; in
|
2015-03-26 05:59:04 +00:00
|
|
|
|
2015-10-15 16:43:23 +01:00
|
|
|
let self = stdenv.mkDerivation rec {
|
2020-01-20 10:13:31 +00:00
|
|
|
name = "gmp-6.2.0";
|
2015-03-26 05:59:04 +00:00
|
|
|
|
|
|
|
src = fetchurl { # we need to use bz2, others aren't in bootstrapping stdenv
|
|
|
|
urls = [ "mirror://gnu/gmp/${name}.tar.bz2" "ftp://ftp.gmplib.org/pub/${name}/${name}.tar.bz2" ];
|
2020-01-20 10:13:31 +00:00
|
|
|
sha256 = "1sji8i9yjzfv5l2fsadpgjfyn452q6ab9zvm02k23ssd275rj77m";
|
2015-03-26 05:59:04 +00:00
|
|
|
};
|
|
|
|
|
2016-04-17 13:32:35 +01:00
|
|
|
#outputs TODO: split $cxx due to libstdc++ dependency
|
2015-10-28 10:34:02 +00:00
|
|
|
# maybe let ghc use a version with *.so shared with rest of nixpkgs and *.a added
|
|
|
|
# - see #5855 for related discussion
|
2016-08-29 01:30:01 +01:00
|
|
|
outputs = [ "out" "dev" "info" ];
|
2015-10-15 16:43:23 +01:00
|
|
|
passthru.static = self.out;
|
2015-10-28 10:34:02 +00:00
|
|
|
|
2017-06-26 04:10:03 +01:00
|
|
|
depsBuildBuild = [ buildPackages.stdenv.cc ];
|
|
|
|
nativeBuildInputs = [ m4 ];
|
2015-03-26 05:59:04 +00:00
|
|
|
|
2018-08-03 16:58:20 +01:00
|
|
|
configureFlags = [
|
|
|
|
"--with-pic"
|
|
|
|
(stdenv.lib.enableFeature cxx "cxx")
|
2015-03-26 05:59:04 +00:00
|
|
|
# Build a "fat binary", with routines for several sub-architectures
|
|
|
|
# (x86), except on Solaris where some tests crash with "Memory fault".
|
2020-04-18 21:51:19 +01:00
|
|
|
# See <https://hydra.nixos.org/build/2760931>, for instance.
|
2015-03-26 05:59:04 +00:00
|
|
|
#
|
|
|
|
# no darwin because gmp uses ASM that clang doesn't like
|
2018-08-03 16:58:20 +01:00
|
|
|
(stdenv.lib.enableFeature (!stdenv.isSunOS && stdenv.hostPlatform.isx86) "fat")
|
2018-11-29 23:52:55 +00:00
|
|
|
# The config.guess in GMP tries to runtime-detect various
|
|
|
|
# ARM optimization flags via /proc/cpuinfo (and is also
|
|
|
|
# broken on multicore CPUs). Avoid this impurity.
|
|
|
|
"--build=${stdenv.buildPlatform.config}"
|
2018-08-03 16:58:20 +01:00
|
|
|
] ++ optional (cxx && stdenv.isDarwin) "CPPFLAGS=-fexceptions"
|
2018-06-14 20:44:26 +01:00
|
|
|
++ optional (stdenv.isDarwin && stdenv.is64bit) "ABI=64"
|
2019-09-10 03:21:46 +01:00
|
|
|
# to build a .dll on windows, we need --disable-static + --enable-shared
|
|
|
|
# see https://gmplib.org/manual/Notes-for-Particular-Systems.html
|
|
|
|
++ optional (!withStatic && stdenv.hostPlatform.isWindows) "--disable-static --enable-shared"
|
2015-03-26 05:59:04 +00:00
|
|
|
;
|
|
|
|
|
2018-01-08 07:19:47 +00:00
|
|
|
doCheck = true; # not cross;
|
2015-03-26 05:59:04 +00:00
|
|
|
|
|
|
|
dontDisableStatic = withStatic;
|
|
|
|
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://gmplib.org/";
|
2015-03-26 05:59:04 +00:00
|
|
|
description = "GNU multiple precision arithmetic library";
|
|
|
|
license = licenses.gpl3Plus;
|
|
|
|
|
|
|
|
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.
|
|
|
|
'';
|
|
|
|
|
|
|
|
platforms = platforms.all;
|
2016-07-07 04:22:15 +01:00
|
|
|
maintainers = [ maintainers.peti maintainers.vrthra ];
|
2015-03-26 05:59:04 +00:00
|
|
|
};
|
2015-10-15 16:43:23 +01:00
|
|
|
};
|
|
|
|
in self
|