bug#21987: Version 0.9 Fails to Compile on Raspbian

[ludo@gnu.org (Ludovic Courtès)]

Efraim Flashner <efraim@flashner.co.il> skribis:

> What processor flags specifically are we looking for?

The details are given in guix.m4:

   # TODO: If not cross-compiling, add a sanity check to make
   #       sure this build machine has the needed features to
   #       support executables compiled using our armhf gcc,
   #       configured with:
   #         --with-arch=armv7-a
   #         --with-float=hard
   #         --with-mode=thumb
   #         --with-fpu=vfpv3-d16

> From my Raspberry Pi 1:
> ssh mypi cat /proc/cpuinfo | grep -m1 Features
> Features	: half thumb fastmult vfp edsp java tls

Sounds like this could work, though we need to check the exact flag
names for the features mentioned above.

On the Novena, we have:

  model name      : ARMv7 Processor rev 10 (v7l)
  BogoMIPS        : 166.00
  Features        : half thumb fastmult vfp edsp thumbee neon vfpv3 tls vfpd32 

Looks like checking for thumb, vfpv3, and (vpfd32|vfpd16) would do?

There doesn’t seem to be a more streamlined /sys interface to get these
flags, which is unfortunate.

Ludo’.