[Ecls-list] Building ECL for ARMv4t

[Christoph Egger]

Hi!

  Somwehere between 11.1 and 12.12 ecl seems to have lost the ability to
build on ARMv4t? Is there a way to bring this back?

> src/libffi/src/arm/sysv.S: Assembler messages:
> src/libffi/src/arm/sysv.S:266: Error: selected processor does not support ARM mode `flddle d0,[ip]'
> src/libffi/src/arm/sysv.S:267: Error: selected processor does not support ARM mode `fldmiadgt ip,{d0-d7}'
> src/libffi/src/arm/sysv.S:307: Error: selected processor does not support ARM mode `fstseq s0,[r2]'
> src/libffi/src/arm/sysv.S:311: Error: selected processor does not support ARM mode `fstdeq d0,[r2]'
> src/libffi/src/arm/sysv.S:316: Error: selected processor does not support ARM mode `fstmiadeq r2,{d0-d3}'
> src/libffi/src/arm/sysv.S:400: Error: selected processor does not support ARM mode `fstmfdd sp!,{d0-d7}'
> src/libffi/src/arm/sysv.S:438: Error: selected processor does not support ARM mode `flds s0,[sp]'
> src/libffi/src/arm/sysv.S:441: Error: selected processor does not support ARM mode `fldd d0,[sp]'
> src/libffi/src/arm/sysv.S:450: Error: selected processor does not support ARM mode `fldmiad sp,{d0-d1}'
> src/libffi/src/arm/sysv.S:453: Error: selected processor does not support ARM mode `fldmiad sp,{d0-d3}'

Regards

  Christoph