> 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 http://mlton.org/CrossCompiling for more details.