Stephen, Use the non-gmp version of integer, which is done by adding this line to mk/build.mk INTEGER_LIBRARY = integer-simple Steve On 20/11/12 12:42, Stephen Paul Weber wrote:
Somebody claiming to be Stephen Blackheath [to GHC-iPhone] wrote:
In ARM we don't have ghci support. Some parts of the build require it, particularly dph. In GHC-iOS I commented out the last four lines of 'packages' that pertain to dph. The top-level ghc.mk may also contain other tweaks.
Cool. I did that, and now I get:
CROSS_COMPILE="i486-pc-nto-qnx8.0.0-" "inplace/bin/ghc-cabal" configure --with-ghc="/home/singpolyma/src/ghc-7.7.20121119-src/ghc-7.7.20121119/inplace/bin/ghc-stage1" --with-ghc-pkg="/home/singpolyma/src/ghc-7.7.20121119-src/ghc-7.7.20121119/inplace/bin/ghc-pkg" --enable-library-vanilla --disable-library-profiling --disable-shared --disable-library-for-ghci --configure-option=CFLAGS=" -fno-stack-protector " --configure-option=LDFLAGS=" -Wl,--hash-size=31 -Wl,--reduce-memory-overheads " --configure-option=CPPFLAGS=" " --with-gcc="/home/singpolyma/bbndk/host_10_0_9_52/linux/x86/usr/bin/i486-pc-nto-qnx8.0.0-gcc" --configure-option=--with-cc="/home/singpolyma/bbndk/host_10_0_9_52/linux/x86/usr/bin/i486-pc-nto-qnx8.0.0-gcc" --with-ar="/usr/bin/ar" --with-ranlib="true" -- dist-install libraries/integer-gmp Configuring integer-gmp-0.5.0.0... configure: WARNING: unrecognized options: --with-compiler, --with-gcc checking build system type... i686-pc-linux-gnu checking host system type... i686-pc-linux-gnu checking target system type... i686-pc-linux-gnu checking for gcc... /home/singpolyma/bbndk/host_10_0_9_52/linux/x86/usr/bin/i486-pc-nto-qnx8.0.0-gcc
checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... configure: error: in `/home/singpolyma/src/ghc-7.7.20121119-src/ghc-7.7.20121119/libraries/integer-gmp':
configure: error: cannot run C compiled programs. If you meant to cross compile, use `--host'. See `config.log' for more details make[1]: *** [libraries/integer-gmp/dist-install/package-data.mk] Error 1 make: *** [all] Error 2
I can maybe disable integer-gmp, but it seems like it should be able to build, no?