Re: using MLton on Raspberry Pi, with Raspbian

On Mon, Jul 10, 2017 at 04:49:45PM -0400, Norman Ramsey wrote:
>  > 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.
> 
> On stock Debian, mlton pulls in mlton-compiler, which pulls in
> mlton-runtime and several other packages.  On Raspbian, for some
> reason, these other packages are not available.  And I have not
> had much luck finding a way to report the issue.

Probably they failed to build because they ran out of memory.

> I guess I will have to figure out which is easier, building the
> Raspbian packages from source, or setting up MLton for
> cross-compilation.  (I have found the page at mlton.org on
> cross-compilation, so that's a start.)

I see three ways to proceed here:

1) add sufficient swap (over ethernet, perhaps), and just build the
packages

(though maybe I'm wrong and insufficient memory is not the problem; it
is hard to imagine what else it could be though, since this all works
fine in Debian on ARM)

2) cross-compile the Raspbian mlton packages from source

3) cross-compile your programs on another system

For 3, if your other system is running Debian, it's pretty
trivial to set up MLton to cross-compile for ARM; see
https://wiki.debian.org/Multiarch/HOWTO. Statically-linked armhf
programs should run with no issues on the Pi 3. Raspbian is 32-bit only,
but you can supposedly install a 64-bit kernel on the Pi 3 and then
statically-linked arm64 programs compiled on Debian should also run.

-- 
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