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

Boris Veytsman borisv at lk.net
Fri Oct 26 17:31:40 CEST 2012

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.


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


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

More information about the tlbuild mailing list