[MLton] Cross-compilation

Matthew Fluet fluet@cs.cornell.edu
Fri, 18 Mar 2005 11:28:04 -0500 (EST)

> Is there a way to create an x86-linux mlton binary that produces ppc-linux
> binary? 

In theory, though I have not attempted it before.  You need to set up the
gcc cross-compiler tools on the x86-linux machine and then use the -target
option to mlton to produce a ppc-linux binary. 

You'll want to read
for more details.