[MLton] Re: MLton and shared libraries

[Matthew Fluet]

> I am happy to report, that the first MLton generated shared library
> now works with MzScheme.

Great.

> There are two things to note:
> 
>    1. It is important that both gcc and ld gets the -symbolic and -Bsymbolic
>       options respectively
> 
>    2. The MLton option -link-opt doesn't pass the option directly to ld
>       but to gcc, which means that linker options is to be prefixed with
>       an explicit -Wl, .
> 
> I must admit that it took me a long time to figure 2 out (bear with me,
> it is at least five years since I wrote my last C program).

It should be quite easy to make "-shared true" a mlton option and take 
care of items 1) and 2) in the compiler itself, as well as adjusting the 
suffix of the output file.

The "-link-opt" mlton option is a little confusing, in that it is options
to be passed to gcc when it is called to link .o files.

> I'll keep you posted on my further progress.

Please do.  We'll be more than happy to integrate the changes into a 
future MLton release.