[MLton-devel] MLton and profiling

[Stephen Weeks]

> Won't adding the line
> 	-Idiretory-with-gmp.h
> on the MLton line do what you want?

Nope.  MLton no longer supports the -I option.


-------------------------------------------------------
This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
http://www.vasoftware.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel