Re: Error: selected processor does not support ARM mode `ldrd r0, r1, [r7, #64]'

Ben Gamari wrote:

There are several places where Thumb instructions could come from,

1. GHCi produced them in mkJumpToAddr

2. native code compiled with GCC, which defaults to Thumb on many systems

3. system libraries, which are Thumb on many distributions

The solution which Erik implemented was to switch entirely to ARM. (1) was addressed by changing the GHC, (2) was fixed by explicitly passing -marm to GCC. I'm actually not sure the state of (3).

Unfortunately, (3) is likely to still be broken. Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/