Bug#807020: ghc: FTBFS on armel: selected processor does not support `strd r0, r1, [r7, #64]' in ARM mode

[Emilio Pozuelo Monfort]

Source: ghc
Version: 7.10.3-2
Severity: serious

Your package failed to build on armel:

"inplace/bin/ghc-stage1" -static  -H32m -O -lffi -optl-pthread -optl-B/usr/bin/ld.gold -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Irts -Irts/dist/build -DCOMPILING_RTS -this-package-key rts -dcmm-lint      -i -irts -irts/dist/build -irts/dist/build/autogen -Irts/dist/build -Irts/dist/build/autogen           -O2    -c rts/StgStartup.cmm -o rts/dist/build/StgStartup.o
/tmp/ghc074d_0/ghc_7.s: Assembler messages:

/tmp/ghc074d_0/ghc_7.s:96:0:
     Error: selected processor does not support `ldrd r0,r1,[r3,#64]' in ARM mode

/tmp/ghc074d_0/ghc_7.s:99:0:
     Error: selected processor does not support `strd r0,r1,[r3,#64]' in ARM mode

/tmp/ghc074d_0/ghc_7.s:210:0:
     Error: selected processor does not support `ldrd r0,r1,[r7,#64]' in ARM mode

/tmp/ghc074d_0/ghc_7.s:214:0:
     Error: selected processor does not support `strd r0,r1,[r7,#64]' in ARM mode
rts/ghc.mk:236: recipe for target 'rts/dist/build/StgStartup.o' failed

Full log at:

https://buildd.debian.org/status/fetch.php?pkg=ghc&arch=armel&ver=7.10.3-2&stamp=1449207555

Emilio