ARM Builds

---

Resulting binaries work on a variety of ARM devices with other GNU/Linux distributions than Debian as well.

---

PortFusion with Debian SID ARMel Versatile

Build 1.2.1

Required

• haskell-platform >= 2012.2.0.0

Recommended

• llvm >= 3

Instructions

cabal update
cabal install splice     -f llvm
cabal install PortFusion -f llvm

Drop -f llvm if you want to use GHC's native code generator instead.

Test

~/.cabal/bin/PortFusion

Experience with haskell-platform @ 2012.2.0.0 using 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:
  • install from Debian repositories: sudo apt-get install libgmp
  • download from CORSIS Research

---

Contact

[email protected]