[MLton-user] ML and embedded devices

Wesley W. Terpstra wesley at terpstra.ca
Mon Apr 19 10:23:38 PDT 2010


2010/4/19 Maurí­cio CA <mauricio.antunes at gmail.com>

> I was told about Hume, which is interesting, and would like to
> know if SML, with mlton, could be an option for embedded software
> (with processors like an arm7).
>

Yes. In fact, if you run debian unstable you can get a MLton which cross
compiles to arm by typing:

apt-get install mlton mlton-target-arm-linux-gnueabi
apt-get update
apt-cross -a armel -i libc6-dev libgmp3-dev
apt-get install gcc-4.4-arm-linux-gnueabi

Then run:

mlton -target arm-linux-gnueabi myfile.mlb

and you've just compiled to arm from your i386/amd64 machine.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton-user/attachments/20100419/decf0cad/attachment.html


More information about the MLton-user mailing list