2010/4/19 Maurício CA <span dir="ltr"><<a href="mailto:mauricio.antunes@gmail.com" target="_blank">mauricio.antunes@gmail.com</a>></span><br><div class="gmail_quote"><div class="gmail_quote"><div class="im"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I was told about Hume, which is interesting, and would like to<br>
know if SML, with mlton, could be an option for embedded software<br>
(with processors like an arm7).<br></blockquote></div><div><br>Yes. In fact, if you run debian unstable you can get a MLton which cross compiles to arm by typing:<br><br>apt-get install mlton mlton-target-arm-linux-gnueabi<br>
apt-get update<br>apt-cross -a armel -i libc6-dev libgmp3-dev<br>apt-get install gcc-4.4-arm-linux-gnueabi<br><br>Then run:<br><br>mlton -target arm-linux-gnueabi myfile.mlb<br><br>and you've just compiled to arm from your i386/amd64 machine.<br>
</div></div>
</div><br>