GNU bug report logs - #21987
Version 0.9 Fails to Compile on Raspbian

Previous Next

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: Mark H Weaver <mhw <at> netris.org>, 21987-done <at> debbugs.gnu.org
Subject: bug#21987: Version 0.9 Fails to Compile on Raspbian
Date: Fri, 27 Nov 2015 10:27:19 +0100

Efraim Flashner <efraim <at> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.