On Tue, Nov 18, 2008 at 12:04 AM, Nicolas Bertolotti <span dir="ltr">&lt;<a href="mailto:Nicolas.Bertolotti@mathworks.fr">Nicolas.Bertolotti@mathworks.fr</a>&gt;</span> <div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Well, I actually use the changes to rebuild a 32 bit version of the compiler (to use less RAM) after building it natively on a 64 bit platform.</blockquote><div><br>Just run &quot;i386 make&quot;... The latest svn should build you a 32 bit MLton on your 64 bit machine. No patches or cross-compiling needed.<br>
<br></div></div>If you have debian, make sure you have gcc-multilib and installed. You might need a few other lib32 packages as well.<br><br>