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

[Boris Veytsman]

S> From: <simon at getthingsfixed.co.uk>
S> Date: Fri, 26 Oct 2012 07:27:57 +0100


S> On Rpi Wheezy soft float:
S> armv6l-unknown-linux-gnueabi
S> HF:
S> armv6l-unknown-linux-gnueabihf

S> So problem solved, we think.

Yes

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


aremv7 are actually armel.  Should we call raspbian binaries armelhf?

-- 
Good luck

-Boris

millihelen, n.:
	The amount of beauty required to launch one ship.