-
Notifications
You must be signed in to change notification settings - Fork 41
ARM Builds
cetinsert edited this page Feb 17, 2013
·
58 revisions
Resulting binaries work on a variety of ARM devices with other GNU/Linux distributions than Debian as well.
- Debian SID ARMel Versatile
-
haskell-platform
>= 2012.2.0.0 -
llvm
>= 3 (optional)
cabal update
cabal install splice -f "llvm -portable"
cabal install PortFusion -f "llvm threaded"
~/.cabal/bin/PortFusion
Notes with QEMU
-
cabal update
seems to hang but eventually finishes - no Haskell librararies are needed except what ships with
haskell-platform
- compilation takes around 3.10 (minutes.seconds)
- linking takes around 0.15 (minutes.seconds)
- resulting binary is stripped, its size is 5 MB
- static linking does not work; so
libgmp.so.10
is needed on target devices:- install from Debian repositories:
sudo apt-get install libgmp
- download from CORSIS Research
- install from Debian repositories: