November 2011 - iPhone

Progress report: GHC cross compiler that installs properly
by Stephen Blackheath [to GHC-iPhone] 21 Nov '11

21 Nov '11

All, I did some more work and we have version 2 of the patches to make a GHC cross compiler, here - patches against GHC HEAD: http://hip-to-be-square.com/~blackh/ghc-cross/ These patches will need a lot more testing and tidying up before they're ready to push upstream. (Thanks for your email Manuel.) They also don't yet properly work with packages containing C stuff that uses configure. If you would like to give it a try, here's what you need to do: * If your cross-compile target is arm, you'll need >= llvm-3.0rc3 * Check out GHC HEAD (see GHC wiki) and apply the patches * Copy build.mk into ghc/mk/ and alien and config.sh into ghc/. Tweak to your requirements. 'alien' is a script that you must provide, to run code generated for your target platform locally. This could be by scp and ssh, or as in my case, using qemu. * ./config.sh * make and install ghc * Install a patched version of the Cabal package locally. It happens that there's a nice easy way to do that: cd ghc/libraries/Cabal/Cabal cabal install * Re-install a cabal-install to use this new Cabal. Note that the hackage version of cabal-install has an upper limit on Cabal that is too low for ghc-head's version. You can just remove this upper limit in the .cabal file. The terminal session below shows you how to use it. The CROSS_COMPILE environment variable tells Cabal what target to use. Note that it has to have a trailing -. --- iPhone: Once this is going, I'll work on getting it pushed upstream. Then I'll get onto compiling specifically for iPhone. Steve blackh@amentet:~/src/haskell$ export PATH=/usr/local/ghc-ldu/bin:$PATH blackh@amentet:~/src/haskell$ export CROSS_COMPILE=arm-ldu-linux-gnueabi- blackh@amentet:~/src/haskell$ cat reverse.hs {-# LANGUAGE DoRec #-} import Control.Monad.Fix import Control.Monad.Trans import Control.Monad main = runReverseT $ do lift $ putStrLn "start" forM_ [1..5] (lift . print) lift $ putStrLn "end" ----------------------------------------------------- newtype ReverseT m a = ReverseT { runReverseT :: m a } instance MonadFix m => Monad (ReverseT m) where return = ReverseT . return ReverseT m >>= f = ReverseT $ do rec b <- runReverseT (f a) a <- m return b instance MonadTrans ReverseT where lift = ReverseT blackh@amentet:~/src/haskell$ cabal install mtl Resolving dependencies... Configuring transformers-0.2.2.0... Building transformers-0.2.2.0... Preprocessing library transformers-0.2.2.0... [ 1 of 21] Compiling Data.Functor.Product ( Data/Functor/Product.hs, dist/build/Data/Functor/Product.o ) [ 2 of 21] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs, dist/build/Data/Functor/Constant.o ) [ 3 of 21] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs, dist/build/Data/Functor/Compose.o ) [ 4 of 21] Compiling Data.Functor.Identity ( Data/Functor/Identity.hs, dist/build/Data/Functor/Identity.o ) [ 5 of 21] Compiling Control.Monad.Trans.Class ( Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o ) [ 6 of 21] Compiling Control.Monad.IO.Class ( Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o ) [ 7 of 21] Compiling Control.Monad.Trans.Cont ( Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o ) [ 8 of 21] Compiling Control.Monad.Trans.Error ( Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o ) Control/Monad/Trans/Error.hs:26:8: Warning: In the use of `catch' (imported from Prelude, but defined in System.IO.Error): Deprecated: "Please use the new exceptions variant, Control.Exception.catch" [ 9 of 21] Compiling Control.Monad.Trans.Identity ( Control/Monad/Trans/Identity.hs, dist/build/Control/Monad/Trans/Identity.o ) [10 of 21] Compiling Control.Monad.Trans.List ( Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o ) [11 of 21] Compiling Control.Monad.Trans.Maybe ( Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o ) [12 of 21] Compiling Control.Monad.Trans.Reader ( Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o ) [13 of 21] Compiling Control.Monad.Trans.RWS.Lazy ( Control/Monad/Trans/RWS/Lazy.hs, dist/build/Control/Monad/Trans/RWS/Lazy.o ) [14 of 21] Compiling Control.Monad.Trans.RWS ( Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o ) [15 of 21] Compiling Control.Monad.Trans.RWS.Strict ( Control/Monad/Trans/RWS/Strict.hs, dist/build/Control/Monad/Trans/RWS/Strict.o ) [16 of 21] Compiling Control.Monad.Trans.State.Lazy ( Control/Monad/Trans/State/Lazy.hs, dist/build/Control/Monad/Trans/State/Lazy.o ) [17 of 21] Compiling Control.Monad.Trans.State ( Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o ) [18 of 21] Compiling Control.Monad.Trans.State.Strict ( Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o ) [19 of 21] Compiling Control.Monad.Trans.Writer.Lazy ( Control/Monad/Trans/Writer/Lazy.hs, dist/build/Control/Monad/Trans/Writer/Lazy.o ) [20 of 21] Compiling Control.Monad.Trans.Writer ( Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o ) [21 of 21] Compiling Control.Monad.Trans.Writer.Strict ( Control/Monad/Trans/Writer/Strict.hs, dist/build/Control/Monad/Trans/Writer/Strict.o ) Registering transformers-0.2.2.0... Running Haddock for transformers-0.2.2.0... cabal: Haddock's internal GHC version must match the configured GHC version. The GHC version is 7.3.20111121 but haddock is using GHC version 7.0.4 Installing library in /home/blackh/.cabal/lib/transformers-0.2.2.0/ghc-7.3.20111121 Registering transformers-0.2.2.0... Configuring mtl-2.0.1.0... Building mtl-2.0.1.0... Preprocessing library mtl-2.0.1.0... [ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) Control/Monad/Error/Class.hs:36:8: Warning: In the use of `catch' (imported from Prelude, but defined in System.IO.Error): Deprecated: "Please use the new exceptions variant, Control.Exception.catch" [ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) Registering mtl-2.0.1.0... Running Haddock for mtl-2.0.1.0... cabal: Haddock's internal GHC version must match the configured GHC version. The GHC version is 7.3.20111121 but haddock is using GHC version 7.0.4 Installing library in /home/blackh/.cabal/lib/mtl-2.0.1.0/ghc-7.3.20111121 Registering mtl-2.0.1.0... blackh@amentet:~/src/haskell$ arm-ldu-linux-gnueabi-ghc-pkg list /usr/local/ghc-ldu/lib/ghc-7.3.20111121/package.conf.d: Cabal-1.13.3 array-0.3.0.3 base-4.4.0.0 bin-package-db-0.0.0.0 binary-0.5.0.2 bytestring-0.9.2.0 containers-0.4.2.0 deepseq-1.2.0.1 directory-1.1.0.1 extensible-exceptions-0.1.1.3 filepath-1.2.0.1 ghc-prim-0.2.0.0 hoopl-3.8.7.2 hpc-0.5.1.0 integer-gmp-0.3.0.0 old-locale-1.0.0.3 old-time-1.0.0.7 pretty-1.1.0.0 process-1.1.0.0 rts-1.0 template-haskell-2.6.0.0 time-1.4 unix-2.5.0.0 /home/blackh/.ghc/arm-linux-7.3.20111121/package.conf.d: mtl-2.0.1.0 transformers-0.2.2.0 blackh@amentet:~/src/haskell$ arm-ldu-linux-gnueabi-ghc reverse.hs [1 of 1] Compiling Main ( reverse.hs, reverse.o ) Linking reverse ... blackh@amentet:~/src/haskell$ file reverse reverse: ELF 32-bit LSB executable, ARM, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, not stripped blackh@amentet:~/src/haskell$ ~/src/ghc/alien run ./reverse end 5 4 3 2 1 start blackh@amentet:~/src/haskell$

1 0

Re: [Haskell-iPhone] Running hsc2hs
by David Pollak 21 Nov '11

21 Nov '11

Thanks! Now that my project (http://visi.pro ) is public and the open source code is available (http://visi.io ), it's going to a big pile of fun to integrate Visi.io into OS X, iOS and other environments with full cross-builds, etc. But that's not a topic for this list. What I would like to say is a *huge* thanks to Stephen for GHC-iPhone and for his excellent help. I'm looking forward to the 7.4.1 stuff that does full cross-compilation and I'm also looking forward to Visi.io contributing back to this community and to the greater Haskell community. On Sat, Nov 19, 2011 at 8:15 PM, Manuel M T Chakravarty <mchakravarty(a)me.com > wrote: > David, > > > Also, if there's any hints on running c2hs, they'd be appreciated, too, > but I haven't spent a lot of time in c2hs land. > > By default c2hs queries the platform it is running on for > architecture-specific parameters. However, it also contains a hardcoded > set of parameters for a fixed set of platforms (in 'C2HS.Config') that can > be selected with the "-p" (or '--platform=') flag. By simply extending > that set of platforms to include arm/iOS, you can use c2hs to cross-compile. > > Manuel > > -- Visi.Pro, Cloud Computing for the Rest of Us http://visi.pro Lift, the simply functional web framework http://liftweb.net Follow me: http://twitter.com/dpp Blog: http://goodstuff.im

1 0

Running hsc2hs
by David Pollak 20 Nov '11

20 Nov '11

Howdy, Does hsc2hs need to be run as a separate manual phase or can it be run from the iphone-cabal thing? When I try to run it via iphone-cabal, I get link errors because the generated C program is being linked against the iphone stuff, rather than the native libraries. Any hints or pointers would be appreciated. Also, if there's any hints on running c2hs, they'd be appreciated, too, but I haven't spent a lot of time in c2hs land. Thanks, David

3 4

Progress report: working GHC cross compiler
by Stephen Blackheath [to GHC-iPhone] 09 Nov '11

09 Nov '11

All, It needs work yet, but I've got a GHC "toolchain" cross compiler working, with an ARM linux target. This is an important step in making a new GHC-iPhone cross compiler. The patches against GHC HEAD are here: http://hip-to-be-square.com/~blackh/ghc-cross/ For ARM targets, you need llvm version 3.0 or greater (thanks to me, Karel Gardas and David Terei). If it hasn't been released yet when you read this, rc3 (which works for my ARMv5 target) can get got from: http://llvm.org/pre-releases/3.0/ Incidentally, Ben Gamari is working on ghc linker support, which means that ghci and runhaskell will work on ARM. Template Haskell might be trickier, though, so it isn't supported for now in cross compilers. "Cross compiling" with reference to GHC now means two things: 1. Porting GHC: If you want to port local-compiling GHC to a new platform, do ./configure --host=arm-ldu-linux-gnueabi 2. My meaning - building a toolchain: To build a compiler that runs locally but builds for a foreign platform, do ./configure --target=arm-ldu-linux-gnueabi I'll make sure I document this somewhere. NOTES: This patch assumes that the GNU convention is followed, that all the cross-compiling tools are prefixed with the target name, e.g. arm-ldu-linux-gnueabi-ld. iPhone doesn't follow this but I propose to fix this with a directory full of symlinks. 'alien' is a script you have to provide to allow foreign code to be run locally. This is required for a couple of things now, but (as Duncan Coutts pointed out) this could probably ultimately be eliminated, using the autotools AC_COMPUTE_INT technique (which interrogates the compiler directly). Following the convention of the Linux kernel, in these patches, Cabal uses an environment variable called CROSS_COMPILE to supply a prefix for all compile tools at runtime. The idea is that ghc and ghc-pkg's executable names will also be prefixed with the target name. You would use that in combination with PATH to switch between Cabal working for a local compiler or for cross-compiling. Steve ON PC: blackh@amentet:~/src/ghc$ inplace/bin/ghc-stage1 --version The Glorious Glasgow Haskell Compilation System, version 7.3.20111107 blackh@amentet:~/src/ghc$ inplace/bin/ghc-stage1 pidigits.hs [1 of 1] Compiling Main ( pidigits.hs, pidigits.o ) Linking pidigits ... blackh@amentet:~/src/ghc$ scp pidigits root(a)192.168.1.129: root(a)192.168.1.129's password: pidigits 100% 9664KB 2.4MB/s 00:04 blackh@amentet:~/src/ghc$ ON TARGET MACHINE (QEMU) root@ldu:~# uname -a Linux ldu 2.6.37-versatile #2 Tue Oct 18 12:00:46 NZDT 2011 armv5tejl GNU/Linux root@ldu:~# ./pidigits 1000 3141592653 :10 5897932384 :20 6264338327 :30 9502884197 :40 1693993751 :50 0582097494 :60 4592307816 :70 4062862089 :80 9862803482 :90 5342117067 :100 9821480865 :110 1328230664 :120 7093844609 :130 5505822317 :140 2535940812 :150 8481117450 :160 2841027019 :170 3852110555 :180 9644622948 :190 9549303819 :200 6442881097 :210 5665933446 :220 1284756482 :230 3378678316 :240 5271201909 :250 1456485669 :260 2346034861 :270 0454326648 :280 2133936072 :290 6024914127 :300 3724587006 :310 6063155881 :320 7488152092 :330 0962829254 :340 0917153643 :350 6789259036 :360 0011330530 :370 5488204665 :380 2138414695 :390 1941511609 :400 4330572703 :410 6575959195 :420 3092186117 :430 3819326117 :440 9310511854 :450 8074462379 :460 9627495673 :470 5188575272 :480 4891227938 :490 1830119491 :500 2983367336 :510 2440656643 :520 0860213949 :530 4639522473 :540 7190702179 :550 8609437027 :560 7053921717 :570 6293176752 :580 3846748184 :590 6766940513 :600 2000568127 :610 1452635608 :620 2778577134 :630 2757789609 :640 1736371787 :650 2146844090 :660 1224953430 :670 1465495853 :680 7105079227 :690 9689258923 :700 5420199561 :710 1212902196 :720 0864034418 :730 1598136297 :740 7477130996 :750 0518707211 :760 3499999983 :770 7297804995 :780 1059731732 :790 8160963185 :800 9502445945 :810 5346908302 :820 6425223082 :830 5334468503 :840 5261931188 :850 1710100031 :860 3783875288 :870 6587533208 :880 3814206171 :890 7766914730 :900 3598253490 :910 4287554687 :920 3115956286 :930 3882353787 :940 5937519577 :950 8185778053 :960 2171226806 :970 6130019278 :980 7661119590 :990 9216420198 :1000 root@ldu:~#

1 0

Installing various packages
by David Pollak 08 Nov '11

08 Nov '11

Howdy, I'm back to using GHC-iphone... I'm merging stuff I've been working on into an iPad app. I'm using certain libraries like Parsec 3 (is Parsec 3 GHC 7 only?) When I do a try to install Parsec: dpp@oldboy:~/proj/LispHaskellIPad$ iphone-cabal install parsec Warning: Error parsing config file /Users/dpp/.cabal/config:77: Parse of field 'libsubdir' failed (paths with spaces must use Haskell String syntax): Warning: Using default configuration. Resolving dependencies... Configuring deepseq-1.2.0.1... Preprocessing library deepseq-1.2.0.1... Building deepseq-1.2.0.1... [1 of 1] Compiling Control.DeepSeq ( Control/DeepSeq.hs, dist/build/Control/DeepSeq.o ) In file included from /var/folders/kQ/kQnNu0yWEJWl+kNm1oRfTE+++TI/-Tmp-/ghc4575_0/ghc4575_0.hc:3:0: /opt/iphone/lib/ghc-6.10.4-iphone/include/Stg.h:54:18: error: math.h: No such file or directory iphone-cabal: Error: some packages failed to install: deepseq-1.2.0.1 failed during the building phase. The exception was: exit: ExitFailure 1 parsec-3.1.2 depends on deepseq-1.2.0.1 which failed to install. text-0.11.1.9 depends on deepseq-1.2.0.1 which failed to install. dpp@oldboy:~/proj/LispHaskellIPad$ Bad things happen. Any pointers or hints to make iphone-cabal work for parsec? Also, a note to the developers on the list... don't upgrade to Lion... Xcode 4 on Lion seems to not work at all with any of the Haskell stuff (iphone or GHC 7). Thanks, David

2 2