diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2018-06-11 15:51:57 -0400 |
---|---|---|
committer | John Ericson <John.Ericson@Obsidian.Systems> | 2018-06-11 15:51:57 -0400 |
commit | 812decd5c1abe497d44d7752fb295b69d6eed100 (patch) | |
tree | 8e48ec126dfe5fd1b53d6ba14147ad5884d8b58d /pkgs/development/libraries/gmp | |
parent | d1a2853933b49f3798c35b7cf8382bb788ee0320 (diff) | |
download | nixpkgs-812decd5c1abe497d44d7752fb295b69d6eed100.tar nixpkgs-812decd5c1abe497d44d7752fb295b69d6eed100.tar.gz nixpkgs-812decd5c1abe497d44d7752fb295b69d6eed100.tar.bz2 nixpkgs-812decd5c1abe497d44d7752fb295b69d6eed100.tar.lz nixpkgs-812decd5c1abe497d44d7752fb295b69d6eed100.tar.xz nixpkgs-812decd5c1abe497d44d7752fb295b69d6eed100.tar.zst nixpkgs-812decd5c1abe497d44d7752fb295b69d6eed100.zip |
ghc: Default integer-simple usage based one whether GNU MP is available
The user's choice is still always respected
Diffstat (limited to 'pkgs/development/libraries/gmp')
-rw-r--r-- | pkgs/development/libraries/gmp/6.x.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/libraries/gmp/6.x.nix b/pkgs/development/libraries/gmp/6.x.nix index 551e7e5e1f6..2635aed3eac 100644 --- a/pkgs/development/libraries/gmp/6.x.nix +++ b/pkgs/development/libraries/gmp/6.x.nix @@ -75,6 +75,7 @@ let self = stdenv.mkDerivation rec { asymptotically faster algorithms. ''; + broken = with stdenv.hostPlatform; useAndroidPrebuilt || useiOSPrebuilt; platforms = platforms.all; maintainers = [ maintainers.peti maintainers.vrthra ]; }; |