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

[simon at getthingsfixed.co.uk]

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:
armv6l-unknown-linux-gnueabi
HF:
armv6l-unknown-linux-gnueabihf

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 
TeX?

Simon
-- 
Get Things Fixed