[MLton-user] Fwd: MinGW precompiled binaries for Release 20070826

Dan DuVarney 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
> it:
> 
>   http://mlton.org/pipermail/mlton-user/2007-June/001125.html
> 
> 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.

-Dan
-- 
Dan DuVarney
Senior Software Engineer - Reactive Systems, Inc.
Email: duvarney at reactive-systems.com
Phone: (+1) 703.349.1249
Web:   http://www.reactive-systems.com/




More information about the MLton-user mailing list