[MLton-devel] mlton/doc CHANGES,1.62,1.63

[Matthew Fluet]

> I didn't try the most recent source, just the stock 2002-04-10 RPM version.
> Note, the problem isn't gcc failing to eliminate dead code because there are
> NO references to any gmp stuff in the .o files.  It is that the linker puts
> a reference to the shared library even though nothing is needed from it.
> Thus when you run the program the dynamic linker looks for the shared library
> at run time, and if it isn't there then the run fails.

No _direct_ references to any gmp stuff in the program specific .o files.
But, there is a reference to IntInf_init.  That pulls in all of
src/runtime/basis/IntInf.c (via libmlton.a) and transitively its 
references to libgmp.  


_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel