<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>Had the same problem. On John Reppy's suggestion I tried this:</div><div><span class="Apple-style-span" style="font-family: palatino, georgia, verdana, arial, sans-serif; color: rgb(34, 34, 34); line-height: 19px; font-size: small; "><pre>sudo port install gmp +universal</pre></span><div><br></div></div><br><div><div>On Feb 12, 2011, at 8:45 AM, Sean McLaughlin wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Hi,<br><br>I can't get MLton to work on my new mac laptop.<br><br>1) I installed gmp via MacPorts<br>2) Downloaded MLton, statically linked<br>(<a href="http://mlton.org/pages/Download/attachments/mlton-20100608-1.x86-darwin.gmp-static.tgz">http://mlton.org/pages/Download/attachments/mlton-20100608-1.x86-darwin.gmp-static.tgz</a>)<br>3) Made tmp.sml (contents: val _ = ())<br><br>$ mlton tmp.sml<br>ld: warning: in /opt/local/lib/libgmp.dylib, file was built for<br>unsupported file format which is not the architecture being linked<br>(i386)<br>(...a bunch of undefined symbol errors...)<br><br>5) The problem occurred during linking, so I pruned down the linker<br>command by making an empty file tmp.c, and calling<br><br>$ gcc tmp.c -lgmp -L/opt/local/lib -m32<br><br>which gave the same linker error. Without the -m32 option it compiles<br>with no errors. I fiddled around in the mlton script trying to turn<br>off the -m32 flag, but that broke other things. Any idea what's going<br>on? Some mismatch of architectures between 32 and 64 bit<br>architectures?<br><br>Thanks,<br><br>Sean<br><br>_______________________________________________<br>MLton-user mailing list<br><a href="mailto:MLton-user@mlton.org">MLton-user@mlton.org</a><br>http://mlton.org/mailman/listinfo/mlton-user<br></div></blockquote></div><br></body></html>