Re: using MLton on Raspberry Pi, with Raspbian
Matthew Fluet <[email protected]> Sun, 9 Jul 2017 22:07:31 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAMrhFL4_s_D+rqV26N07AysdiBdEPqW5O1g6XPWFLQcuPbR2_Q@mail.gmail.com> |
On Sun, Jul 9, 2017 at 9:41 PM, Christopher Cramer <[email protected]> wrote: > 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. I'd only think that one would need that much RAM for a self-compile (or equivalently large SML program); smaller SML programs shouldn't need nearly that much. The `mlton` package on Debian is a meta-package, as I recall, which pulls in arch specific packages. I thought that there were mlton-compiler and mlton-runtime packages for most of Debian's supported architectures. -- 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