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/compilers/ghc/8.2.2.nix | |
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/compilers/ghc/8.2.2.nix')
-rw-r--r-- | pkgs/development/compilers/ghc/8.2.2.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/development/compilers/ghc/8.2.2.nix b/pkgs/development/compilers/ghc/8.2.2.nix index 87de0fd53f6..4e9eff06f26 100644 --- a/pkgs/development/compilers/ghc/8.2.2.nix +++ b/pkgs/development/compilers/ghc/8.2.2.nix @@ -16,7 +16,7 @@ , # If enabled, GHC will be built with the GPL-free but slower integer-simple # library instead of the faster but GPLed integer-gmp library. - enableIntegerSimple ? false, gmp ? null + enableIntegerSimple ? !(gmp.meta.available or false), gmp , # If enabled, use -fPIC when compiling static libs. enableRelocatedStaticLibs ? targetPlatform != hostPlatform @@ -34,8 +34,6 @@ deterministicProfiling ? false }: -assert !enableIntegerSimple -> gmp != null; - let inherit (bootPkgs) ghc; |