On 10 January 2012 11:18, Rui Carmo <rui.ca...@gmail.com> wrote: > For the record, the way I got it to build was patching fpu/softfloat.h (see > below, I think this has been submitted as a formal patch by someone else, but > can't find it either) and setting --cc=gcc-4.2 --host-cc=gcc-4.2.
[uint16/int16 typename clashes] This is still waiting for somebody to get round to doing a basic noddy FPU-intensive benchmark of (eg) an ARM target on a Linux host to find out whether int16_t vs int_fast16_t makes any difference at all to performance. (My suspicion is 'no'.) -- PMM
