Sunday, December 13, 2015

How to install GHC on Intel Edison Poky

I acquired an Intel Edison recently as part of my plans of moving from Arduino to a platform with more computation power. Edison has enough power to enable writing the software of my future robots in a dependently typed language, and it also has an MCU for the real time parts. Its power consumption is also low enough even for a small robot.

GHC is not quite dependently typed (yet), but its type system is powerful enough to emulate it to an acceptable extent.  

Anyway, first step first. I tried creating binaries on a Debian, but they crashed on the Edison, leaving me no choice, but compiling on the device itself. 

Installing a GHC on the Edison is more than straightforward, except that there is not much space on the /home partition, so downloading and uncompressing must be done in one step.

cd ghc-7.10.2
./configure 
make install









Share:

0 comments:

Post a Comment

Featured Post

V-plotter math: coordinate transformation with rotation compensation

The most important thing to deal with in v-plotter software is the coordinate transformation. Descartes coordinates must be converted ...

Popular Posts