[MLton-user] mlton-20070826 on mingw

[Wesley W. Terpstra]

On Dec 12, 2007, at 4:47 AM, Bernard Berthomieu wrote:
> Wesley W. Terpstra wrote:
>>> ... we had to remove the declarations of timezone and  
>>> gettimeofday ...
>> There is a patch pending which resolves this. However, by just  
>> removing the declaration you will have link errors, because  
>> gettimeofday is not consistently defined in a library MLton links  
>> (or wants to link) to. The approach I took is to #define  
>> gettimeofday to something else in the mingw.h.
>
> It seems to work by simply deleting these from mingw.h.

Interesting. The version of MinGW I am using declared gettimeofday in  
the headers, but defined it in libmingwex.a which MLton doesn't link.

>>> Are you aware that the gmp.h only works for either a static or  
>>> dynamic GMP, but not both (on windows)?
>
> What happens I guess is that the decision of whether libgmp can be  
> linked statically or
> dynamically with applications is frozen when compiling mlton, by the  
> choice of the particular
> gmp.h used to built libmlton.a.

Yep. That's exactly right.