[MLton-devel] mGTK for MLton

[Stephen Weeks]

> One other note; You might want to delete mlton/mlton-compile and remake
> once you are done with the current make.  When build/bin/mlton doesn't
> exist, the Makefile chooses to build against mlton-stubs.cm which emulates
> the MLton structure via the basis (in case the mlton in your path is so
> far out of date that it doesn't have the same MLton structure); this means
> that the resulting compiler isn't quite as fast as it could be.  When you
> rebuild, you will build against mlton.cm which assumes an up-to-date MLton
> structure and will be a speedier compiler.

When building from clean CVS sources, you can do 'make bootstrap',
which will build MLton twice so that you get the (fast) version built
with itself.


-------------------------------------------------------
This SF.net email is sponsored by: ValueWeb: 
Dedicated Hosting for just $79/mo with 500 GB of bandwidth! 
No other company gives more support or power for your dedicated server
http://click.atdmt.com/AFF/go/sdnxxaff00300020aff/direct/01/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel