diff options
author | Tuomas Tynkkynen <tuomas@tuxera.com> | 2016-07-17 00:14:22 +0300 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2016-07-20 02:38:10 +0300 |
commit | 322faf92196ddf282703ddc608e221eeaaa6578c (patch) | |
tree | aa58b40f088c85e50374fa98dcaa524e0f026c6f /pkgs/top-level/platforms.nix | |
parent | cd645c417a162debb695691b0b94ef438ac21f39 (diff) | |
download | nixlib-322faf92196ddf282703ddc608e221eeaaa6578c.tar nixlib-322faf92196ddf282703ddc608e221eeaaa6578c.tar.gz nixlib-322faf92196ddf282703ddc608e221eeaaa6578c.tar.bz2 nixlib-322faf92196ddf282703ddc608e221eeaaa6578c.tar.lz nixlib-322faf92196ddf282703ddc608e221eeaaa6578c.tar.xz nixlib-322faf92196ddf282703ddc608e221eeaaa6578c.tar.zst nixlib-322faf92196ddf282703ddc608e221eeaaa6578c.zip |
platforms.nix: Switch ARMv7 to vfpv3-d16
Make ARMv7 compatible with non-NEON chips, changing to the same float ABI that Debian and Arch Linux use. This is apparently required for the binaries to work on Scaleway, for instance.
Diffstat (limited to 'pkgs/top-level/platforms.nix')
-rw-r--r-- | pkgs/top-level/platforms.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix index 1be8c7ad264e..3c94501b1a53 100644 --- a/pkgs/top-level/platforms.nix +++ b/pkgs/top-level/platforms.nix @@ -417,11 +417,12 @@ rec { # Cortex-A15: -mfpu=neon-vfpv4 # More about FPU: - #https://wiki.debian.org/ArmHardFloatPort/VfpComparison + # https://wiki.debian.org/ArmHardFloatPort/VfpComparison - # We try to be compatible with beaglebone by now + # vfpv3-d16 is what Debian uses and seems to be the best compromise: NEON is not supported in e.g. Scaleway or Tegra 2, + # and the above page suggests NEON is only an improvement with hand-written assembly. arch = "armv7-a"; - fpu = "neon"; + fpu = "vfpv3-d16"; float = "hard"; # For Raspberry Pi the 2 the best would be: |