diff options
Diffstat (limited to 'pkgs/development/libraries/gmp/4.nix')
| -rw-r--r-- | pkgs/development/libraries/gmp/4.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/pkgs/development/libraries/gmp/4.nix b/pkgs/development/libraries/gmp/4.nix index 9fd5aeff6369..4473e28585d9 100644 --- a/pkgs/development/libraries/gmp/4.nix +++ b/pkgs/development/libraries/gmp/4.nix @@ -4,7 +4,7 @@ let staticFlags = if static then " --enable-static --disable-shared" else ""; in -stdenv.mkDerivation rec { +stdenv.mkDerivation (rec { name = "gmp-4.3.2"; src = fetchurl { @@ -64,3 +64,10 @@ stdenv.mkDerivation rec { platforms = stdenv.lib.platforms.all; }; } + +// + +# Don't run the native `strip' when cross-compiling. +(if (stdenv ? cross) + then { dontStrip = true; } + else { })) |