[MLton-user] Fwd: MinGW precompiled binaries for Release 20070826
duvarney at reactive-systems.com
Tue Oct 16 13:39:13 PDT 2007
>> > From: Dan DuVarney <duvarney at reactive-systems.com>
>> > Has anyone successfully used the pre-compiled MinGW binaries for
>> > MLton20070826?
> It works for us (SSH) quite nicely.
>> > If so, would you mind telling me how you managed to get MLton to link
>> > with the GMP library?
> Is the problem with running MLton itself, or that MLton fails to link
> with GMP the executables it produces?
> In either case, you need to install libgmp in the mingw tree. Here's
> a link to a previous post on this mailing list describing how we did
> We need to to ship binaries dynamically linked against GMP, so we use
> a DLL instead of a static library.
> It appears that the pre-compiled binaries require libgmp-3.dll. I
> should have probably linked the binaries statically or included
> libgmp-3.dll with them.
Thanks for the suggestions. The problem appears to be with libgmp, not
mlton. The precompiled binaries are missing symbols from the dll wrapper
code, and I can't compile a dynamically-linked libgmp which passes
"make check." I have tried compiling natively from MinGW (the latest
version and a slightly older version), as well as cross-compiling from
Cygwin to MinGW. I also tried libgmp 4.1 as well as 4.2.2 (the latest),
with no success. I finally looked at the libgmp tests and decided they
are failing due to some reason other than an invalid libgmp. I went
ahead and installed libgmp 4.2.2 and mlton seems to work fine.
Senior Software Engineer - Reactive Systems, Inc.
Email: duvarney at reactive-systems.com
Phone: (+1) 703.349.1249
More information about the MLton-user