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 | |
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.
-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: |