diff options
| author | Mark H Weaver <mhw@netris.org> | 2015-07-10 14:51:04 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2015-07-11 19:06:20 -0400 |
| commit | aa7251176f273d64ec54f71e305d813092bf4c7f (patch) | |
| tree | 9e1fb6b989f71a5d853aeafb2e53b88ccfcb45b7 | |
| parent | 16f71908308106d098fa44104e177e328c593359 (diff) | |
gnu: Require NEON on armhf.
* gnu/packages/gcc.scm (gcc-configure-flags-for-triplet): On armhf,
include --with-fpu=neon.
* doc/guix.texi (GNU Distribution): Document that our armhf port
requires NEON.
| -rw-r--r-- | doc/guix.texi | 2 | ||||
| -rw-r--r-- | gnu/packages/gcc.scm | 4 |
2 files changed, 2 insertions, 4 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 454dde68ff..1636700429 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -4428,7 +4428,7 @@ Intel/AMD @code{x86_64} architecture, Linux-Libre kernel; Intel 32-bit architecture (IA32), Linux-Libre kernel; @item armhf-linux -ARMv7-A architecture with hard float, Thumb-2 and VFP3D16 coprocessor, +ARMv7-A architecture with hard float, Thumb-2 and NEON, using the EABI hard-float ABI, and Linux-Libre kernel. @item mips64el-linux diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm index 23bfd90b33..8b88dff4dc 100644 --- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -55,9 +55,7 @@ where the OS part is overloaded to denote a specific ABI---into GCC '("--with-arch=armv7-a" "--with-float=hard" "--with-mode=thumb" - - ;; See <https://wiki.debian.org/ArmHardFloatPort/VfpComparison#FPU> - "--with-fpu=vfpv3-d16")) + "--with-fpu=neon")) (else ;; TODO: Add `arm.*-gnueabi', etc. |