[MLton] Re: MLton and shared libraries
Tue, 26 Apr 2005 16:15:11 -0400 (EDT)
> I am happy to report, that the first MLton generated shared library
> now works with MzScheme.
> 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.