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.4.2.nix | |
| parent | d1a2853933b49f3798c35b7cf8382bb788ee0320 (diff) | |
| download | nixlib-812decd5c1abe497d44d7752fb295b69d6eed100.tar nixlib-812decd5c1abe497d44d7752fb295b69d6eed100.tar.gz nixlib-812decd5c1abe497d44d7752fb295b69d6eed100.tar.bz2 nixlib-812decd5c1abe497d44d7752fb295b69d6eed100.tar.lz nixlib-812decd5c1abe497d44d7752fb295b69d6eed100.tar.xz nixlib-812decd5c1abe497d44d7752fb295b69d6eed100.tar.zst nixlib-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.4.2.nix')
| -rw-r--r-- | pkgs/development/compilers/ghc/8.4.2.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/development/compilers/ghc/8.4.2.nix b/pkgs/development/compilers/ghc/8.4.2.nix index 9a57161d3a71..d793f0b391af 100644 --- a/pkgs/development/compilers/ghc/8.4.2.nix +++ b/pkgs/development/compilers/ghc/8.4.2.nix @@ -15,7 +15,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 @@ -32,8 +32,6 @@ ghcFlavour ? stdenv.lib.optionalString (targetPlatform != hostPlatform) "perf-cross" }: -assert !enableIntegerSimple -> gmp != null; - let inherit (bootPkgs) ghc; |