Re: using MLton on Raspberry Pi, with Raspbian

On Sat, Jul 08, 2017 at 01:47:07PM -0400, Norman Ramsey wrote:
> I recently acquired a Raspberry Pi 3, on which I'm running the
> recommended Raspbian flavor of Debian.  And while Raspbian includes
> a 'mlton' package, it depends on a 'mlton-compiler' package, which
> I cannot find.  I'll cross-compile if I have to, but I'm hoping
> a savvy user might know how to get MLton installed on the Pi.
> 
> Any ideas?

MLton on ARM uses the C backend (emitting C source and then compiling
with gcc), which will generally require more than the 1 gig of RAM
that the Raspberry Pi has. I imagine that cross-compiling is the
only way to compile SML programs for it.

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot