diff options
Diffstat (limited to 'pkgs/development/compilers/gcc/common/platform-flags.nix')
-rw-r--r-- | pkgs/development/compilers/gcc/common/platform-flags.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/compilers/gcc/common/platform-flags.nix b/pkgs/development/compilers/gcc/common/platform-flags.nix index 71997752ad1c..e261f54f582d 100644 --- a/pkgs/development/compilers/gcc/common/platform-flags.nix +++ b/pkgs/development/compilers/gcc/common/platform-flags.nix @@ -2,11 +2,12 @@ let p = targetPlatform.platform.gcc or {}; + float = p.float or (targetPlatform.parsed.abi.float or null); in lib.concatLists [ (lib.optional (p ? arch) "--with-arch=${p.arch}") (lib.optional (p ? cpu) "--with-cpu=${p.cpu}") (lib.optional (p ? abi) "--with-abi=${p.abi}") (lib.optional (p ? fpu) "--with-fpu=${p.fpu}") - (lib.optional (p ? float) "--with-float=${p.float}") + (lib.optional (float != null) "--with-float=${float}") (lib.optional (p ? mode) "--with-mode=${p.mode}") ] |