[tlbuild] Raspberry fp version (soft/hard float)

simon at getthingsfixed.co.uk simon at getthingsfixed.co.uk
Fri Oct 26 08:27:57 CEST 2012

Boris, Karl, ...
On Thursday 25 October 2012 22:12:51 Boris Veytsman wrote:
> KB> Date: Thu, 25 Oct 2012 20:59:51 GMT
> KB> From: karl at freefriends.org (Karl Berry)
> KB> Anyway, what matters is not the uname output, but config.guess output.
> KB> Can you please run config.guess on the various machines and see if it
> KB> distinguishes?  That is the appropriate place for the identification
> job KB> to be done.
> On raspberry:
> armv6l-unknown-linux-gnueabihf
> on android:
> armv7l-unknown-linux-gnueabi
> Now my question: what does it say on raspberry with soft fpu?  If hf
> is for hard fpu, our problem is solved :)

On Rpi Wheezy soft float:

So problem solved, we think.

I am not an expert, but are we sure that the armv7 integer-only binaries will 
run on a RPi? Initially I tested the "armel" binaries and pdftex seemed to 
work, but I never did an exhaustive test. If they do then it saves us a 
binary package set. OTOH how many guys are running softfloat RPis that want 

Get Things Fixed

More information about the tlbuild mailing list