46 lines
1.8 KiB
Text
46 lines
1.8 KiB
Text
[[!comment format=mdwn
|
|
username="https://www.google.com/accounts/o8/id?id=AItOawlhIMPGF1E0XEJKV6j6-PFzAxA1-nIlydo"
|
|
nickname="Bernhard"
|
|
subject="GHC and Android"
|
|
date="2012-09-10T21:58:28Z"
|
|
content="""
|
|
I played around a bit with GHC and Android today. It isn't really a result, but maybe useful for someone out there.
|
|
|
|
I have a Debian `chroot` environment on my Android device (howto: <http://www.saurik.com/id/10/>). In the Debian box:
|
|
|
|
$ cat arm.hs
|
|
main = do
|
|
putStrLn \"Hello ARM\"
|
|
$ ghc -static --make arm.hs
|
|
Linking arm ...
|
|
$ ldd arm
|
|
libgmp.so.3 => /usr/lib/libgmp.so.3 (0x40233000)
|
|
libm.so.6 => /lib/libm.so.6 (0x400c8000)
|
|
libffi.so.5 => /usr/lib/libffi.so.5 (0x401b1000)
|
|
librt.so.1 => /lib/librt.so.1 (0x40171000)
|
|
libdl.so.2 => /lib/libdl.so.2 (0x40180000)
|
|
libgcc_s.so.1 => /lib/libgcc_s.so.1 (0x4018b000)
|
|
libc.so.6 => /lib/libc.so.6 (0x40282000)
|
|
/lib/ld-linux.so.3 (0x400a2000)
|
|
libpthread.so.0 => /lib/libpthread.so.0 (0x4007e000)
|
|
|
|
well, that isn't really static. tell the linker to build a static binary (those are arguments to `ld`):
|
|
|
|
$ ghc --make arm.hs -optl-static -optl-pthread
|
|
[1 of 1] Compiling Main ( arm.hs, arm.o )
|
|
Linking arm ...
|
|
$ file arm
|
|
arm: ELF 32-bit LSB executable, ARM, version 1 (SYSV), statically linked, for GNU/Linux 2.6.18, not stripped
|
|
$ ldd arm
|
|
not a dynamic executable
|
|
$ ./arm
|
|
Hello ARM
|
|
|
|
now, get this (quite big) binary into the normal android environment, using `adb`, `SSHDroid` or whatever:
|
|
|
|
% cd /data/local/tmp # assuming destination of file transfer
|
|
% ./arm
|
|
arm: mkTextEncoding: invalid argument (Invalid argument)
|
|
|
|
looking in the source of `System.IO` it seems like an `iconv` issue. So, there's still some dynamic dependency in there... *sigh*
|
|
"""]]
|