From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#21987: Version 0.9 Fails to Compile on Raspbian
Date: Fri, 27 Nov 2015 10:27:19 +0100
Message-ID: <87d1uvdc7c.fsf@gnu.org>
References: <56524494.5060507@softf1.com> <87d1v0srpq.fsf@gnu.org>
	<56538E5A.60907@softf1.com> <874mgbixba.fsf@gnu.org>
	<87610qyesf.fsf@netris.org> <87vb8qdq3d.fsf@gnu.org>
	<20151126225433.116c3383@debian-netbook>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:60925)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1a2FK2-0007Fc-MJ
	for bug-guix@gnu.org; Fri, 27 Nov 2015 04:28:07 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1a2FJy-00044v-J0
	for bug-guix@gnu.org; Fri, 27 Nov 2015 04:28:06 -0500
Received: from debbugs.gnu.org ([208.118.235.43]:37173)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1a2FJy-00044i-FZ
	for bug-guix@gnu.org; Fri, 27 Nov 2015 04:28:02 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1a2FJy-0000nX-5k
	for bug-guix@gnu.org; Fri, 27 Nov 2015 04:28:02 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.21987.D21987.14486164483022@debbugs.gnu.org>
In-Reply-To: <20151126225433.116c3383@debian-netbook> (Efraim Flashner's
	message of "Thu, 26 Nov 2015 22:54:33 +0200")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
To: Efraim Flashner <efraim@flashner.co.il>
Cc: 21987-done@debbugs.gnu.org

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=3Darmv7-a
   #         --with-float=3Dhard
   #         --with-mode=3Dthumb
   #         --with-fpu=3Dvfpv3-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 vfp=
d32=20

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

There doesn=E2=80=99t seem to be a more streamlined /sys interface to get t=
hese
flags, which is unfortunate.

Ludo=E2=80=99.