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

[Henry Cejtin]

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.
I'll try the latest sources.

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