Re: [PATCH] fix configure's generation of settings file on ARM platform

2011-11-02 Thread David Terei
Thanks! patch committed. On 2 November 2011 08:56, Karel Gardas wrote: > This patch fixes generation of settings file on ARM platform > by configure script. This fixes build issue on ARM platform > where ghc-stage1 compiler is not able to read the target arch > value and due to this issue build f

[PATCH] fix configure's generation of settings file on ARM platform

2011-11-02 Thread Karel Gardas
This patch fixes generation of settings file on ARM platform by configure script. This fixes build issue on ARM platform where ghc-stage1 compiler is not able to read the target arch value and due to this issue build fails with: ghc-cabal: Failed to read "target arch" value "ArchARM ARMv7 [VFPv3,